-options DEBUG
-options CONFIG_DTRACE # dtrace support # <config_dtrace>
-
-options PANIC_INFO # want kernel panic info # <panic_info>
+options DEBUG # general debugging code # <debug>
+options MACH_ASSERT # # <mach_assert>
+options CONFIG_DTRACE # dtrace support # <config_dtrace>