options KDEBUG # kernel tracing # <kdebug>
options GPROF # kernel profiling # <profile>
+
+options CONFIG_NOLIBKLD # kernel linker # <no_kld>
+
+options MALLOC_RESET_GC # <smaller_kld>
+options CONFIG_DTRACE # <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 CONFIG_KXLD # kxld/runtime linking of kexts # <config_kxld>