+#
+# configurable kernel related resources
+#
+options CONFIG_MAX_THREADS=32 # <medium,large,xlarge>
+options CONFIG_MAX_THREADS=32 # <small,xsmall>
+options CONFIG_MAX_THREADS=32 # <bsmall>
+
+#
+# configurable kernel - use these options to strip strings from panic
+# and printf calls.
+# no_panic_str - saves around 50K of kernel footprint.
+# no_printf_str - saves around 45K of kernel footprint.
+#
+options CONFIG_NO_PANIC_STRINGS # <no_panic_str>
+options CONFIG_NO_PRINTF_STRINGS # <no_printf_str>
+options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str>
+
+# configurable kernel - general switch to say we are building for an
+# embedded device
+#
+options CONFIG_EMBEDDED # <config_embedded>