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