1 ######################################################################
3 # RELEASE = [ intel mach libkerncpp config_dtrace config_kxld vm_pressure_events ]
4 # PROFILE = [ RELEASE profile ]
5 # DEBUG = [ RELEASE debug ]
7 # EMBEDDED = [ intel mach libkerncpp ]
8 # DEVELOPMENT = [ EMBEDDED config_dtrace ]
10 ######################################################################
12 machine "i386" # <intel>
15 options NO_NESTED_PMAP # <no_nested_pmap>