1#
2# Mach Operating System
3# Copyright (c) 1986 Carnegie-Mellon University
4# All rights reserved.  The CMU software License Agreement
5# specifies the terms and conditions for use and redistribution.
6#  
7######################################################################
8#
9#  Standard Apple MacOS X Configurations:
10#  -------- ---- -------- ---------------
11#
12#  RELEASE = [ medium intel pc iokit mach_pe mach mach_kdp config_serial_kdp event vol hd pst gdb fixpri simple_clock mkernserv uxpr kernstack ipc_compat ipc_debug fb mk30 mk30_i386 hibernation config_sleep crypto config_dtrace config_mca config_vmx config_mtrr config_lapic config_counters zleaks config_gzalloc config_sched_traditional config_sched_proto config_sched_grrr config_sched_fixedpriority mach_pagemap vm_pressure_events kperf kpc memorystatus config_kext_basement config_telemetry importance_inheritance dynamic_codesigning ]
13#  DEBUG = [ RELEASE osf_debug debug mach_assert task_zone_info ]
14#
15#  EMBEDDED_BASE = [ bsmall intel pc iokit mach_pe mach mach_kdp config_serial_kdp event vol hd pst gdb fixpri simple_clock mkernserv uxpr kernstack ipc_compat ipc_debug fb mk30 mk30_i386 hibernation config_sleep crypto ]
16#  EMBEDDED = [ EMBEDDED_BASE no_printf_str no_kprintf_str no_kdebug ]
17#  DEVELOPMENT = [ EMBEDDED_BASE mach_assert config_counters task_zone_info ]
18#
19######################################################################
20#
21machine		"x86_64"					# <intel>
22cpu		"x86_64"					# <intel>
23
24pseudo-device	com		2
25pseudo-device	vc		1
26
27# choices for platform_bus are pci at386 sqt and kkt
28makeoptions	OSFMK_MACHINE = "x86_64"				# <mk30>
29makeoptions	CCONFIGFLAGS = "-g -O -fno-omit-frame-pointer"	# <debug>
30makeoptions	CCONFIGFLAGS = "-O3"				# <!debug>
31makeoptions	RELOC = "00100000"				# <intel>
32makeoptions	SYMADDR = "00780000"				# <intel>
33
34options		GDB		# GNU kernel debugger		# <gdb>
35options		DEBUG		# general debugging code	# <debug>
36options		SHOW_SPACE	# print size of structures	# <debug>
37options		EVENTMETER	# event meter support		# <debug>
38options		FP_EMUL		# floating point emulation	# <fp>
39options		PC_SUPPORT	# virtual PC support		# <pc>
40options		PROFILE		# kernel profiling		# <profile>
41options		UXPR		# user-level XPR package	# <uxpr>
42config		mach_kernel	swap generic			# <mach>
43
44options		GPROF		# kgmon profiling 		# <profile>
45
46options		EVENT						# <event>
47
48options		MACH_BSD
49options         IOKIT		#				# <iokit>
50options         MACH_PE		#				# <mach_pe>
51
52options		MACH_KDP	# KDP				# <mach_kdp>
53options		CONFIG_SERIAL_KDP	# KDP over serial				# <config_serial_kdp>
54options         KPERF		#				# <kperf>
55options         KPC		#				# <kpc>
56options		PAE
57options		X86_64
58options		DISPATCH_COUNTS
59options		PAL_I386
60
61#
62# Note: MAC/AUDIT options must be set in all the bsd/conf, osfmk/conf, and 
63# security/conf MASTER files.
64#
65options		CONFIG_MACF		# Mandatory Access Control Framework
66#options	CONFIG_MACF_MACH	# MACF applied to Mach services
67options		CONFIG_AUDIT		# Kernel auditing
68
69#
70# code decryption... used on i386 for DSMOS
71# must be set in all the bsd/conf and osfmk/conf MASTER files
72#
73options		CONFIG_CODE_DECRYPTION
74
75options	    CONFIG_MCA			    # Machine Check Architecture	# <config_mca>
76options	    CONFIG_VMX			    # Virtual Machine Extensions	# <config_vmx>
77options	    CONFIG_MTRR			    # Memory Type Range Registers	# <config_mtrr>
78
79options     NO_NESTED_PMAP                  # <no_nested_pmap>
80options     CONFIG_NO_NESTED_PMAP           # <no_nested_pmap>
81options     CONFIG_NESTED_PMAP              # <!no_nested_pmap>
82