options DEVELOPMENT # dev kernel # <development>
-# configurable kernel - general switch to say we are building for an
-# embedded device
-#
-options CONFIG_EMBEDDED # <config_embedded>
-
# CONFIG_KEXT_BASEMENT - alloc post boot loaded kexts after prelinked kexts
#
options CONFIG_KEXT_BASEMENT # # <config_kext_basement>