1 ######################################################################
3 # RELEASE = [ intel mach libkerncpp config_dtrace config_kxld ]
4 # PROFILE = [ RELEASE profile ]
5 # DEBUG = [ RELEASE debug ]
8 # EMBEDDED = [ intel mach libkerncpp ]
9 # DEVELOPMENT = [ EMBEDDED config_dtrace ]
11 ######################################################################
13 machine "i386" # <intel>
16 options NO_NESTED_PMAP # <no_nested_pmap>