options MACH_ASSERT # # <mach_assert>
options CONFIG_DTRACE # dtrace support # <config_dtrace>
options CONFIG_NO_PANIC_STRINGS # <no_panic_str>
options CONFIG_NO_PRINTF_STRINGS # <no_printf_str>
options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str>
options MACH_ASSERT # # <mach_assert>
options CONFIG_DTRACE # dtrace support # <config_dtrace>
options CONFIG_NO_PANIC_STRINGS # <no_panic_str>
options CONFIG_NO_PRINTF_STRINGS # <no_printf_str>
options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str>