ident PEXPERT
options MACH_PE # Objective-C support # <mach_pe>
-options MACH_KERNEL
-options DEBUG
+options MACH_KERNEL
+options DEBUG
+options CONFIG_DTRACE # dtrace support # <config_dtrace>
+options PANIC_INFO # want kernel panic info # <panic_info>
+
+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>