--- a/gsm-fw/cfgmagic/post-target	Tue Jul 01 23:03:32 2014 +0000
+++ b/gsm-fw/cfgmagic/post-target	Wed Jul 02 01:30:03 2014 +0000
@@ -50,6 +50,14 @@
 		# Thanks to the Sotovik find, we now have authoritative
 		# knowledge that these numbers are correct.
 		;;
+	751749*)
+		# Calypso Lite appears to be exactly the same as Calypso C035,
+		# but has only 256 KiB of IRAM instead of 512 KiB.  Yet TI's
+		# firmware sources give it a different CHIPSET number.
+		# Let's try playing along...
+		CHIPSET=11
+		DSP=36
+		;;
 	*)
 		echo "Error: unknown DBB_type=$DBB_type" 1>&2
 		exit 1
@@ -111,11 +119,3 @@
 
 BOARD=41
 export_to_c	BOARD
-
-# Ensure that device_class is set - various feature configurations
-# will certainly depend on it.
-if [ -z "$device_class" ]
-then
-	echo "Error: target.$TARGET failed to define device_class" 1>&2
-	exit 1
-fi