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