######################################################################
#
#  RELEASE	= [ intel mach libkerncpp config_dtrace config_kxld vm_pressure_events config_kext_basement ]
#  PROFILE	= [ RELEASE profile ]
#  DEBUG	= [ RELEASE debug ]
#
#  EMBEDDED	= [ intel mach libkerncpp ]
#  DEVELOPMENT	= [ EMBEDDED ]
#
######################################################################

machine		"x86_64"					# <intel>
cpu		"x86_64"					# <intel>

options     NO_NESTED_PMAP                  # <no_nested_pmap>