options MACH_PE # Objective-C support # <mach_pe>
options MACH_KERNEL
-options DEBUG
-options CONFIG_DTRACE # dtrace support # <config_dtrace>
+options DEBUG # general debugging code # <debug>
+options CONFIG_DTRACE # dtrace support # <config_dtrace>
options PANIC_INFO # want kernel panic info # <panic_info>
# embedded device
#
options CONFIG_EMBEDDED # <config_embedded>
+