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