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.
7 ######################################################################
9 # Standard Apple MacOS X Configurations:
10 # -------- ---- -------- ---------------
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 ]
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 ]
19 ######################################################################
21 machine "x86_64" # <intel>
22 cpu "x86_64" # <intel>
27 # choices for platform_bus are pci at386 sqt and kkt
28 makeoptions OSFMK_MACHINE = "x86_64" # <mk30>
29 makeoptions CCONFIGFLAGS = "-g -O -fno-omit-frame-pointer" # <debug>
30 makeoptions CCONFIGFLAGS = "-O3" # <!debug>
31 makeoptions RELOC = "00100000" # <intel>
32 makeoptions SYMADDR = "00780000" # <intel>
34 options GDB # GNU kernel debugger # <gdb>
35 options DEBUG # general debugging code # <debug>
36 options SHOW_SPACE # print size of structures # <debug>
37 options EVENTMETER # event meter support # <debug>
38 options FP_EMUL # floating point emulation # <fp>
39 options PC_SUPPORT # virtual PC support # <pc>
40 options PROFILE # kernel profiling # <profile>
41 options UXPR # user-level XPR package # <uxpr>
42 config mach_kernel swap generic # <mach>
44 options GPROF # kgmon profiling # <profile>
46 options EVENT # <event>
49 options IOKIT # # <iokit>
50 options MACH_PE # # <mach_pe>
52 options MACH_KDP # KDP # <mach_kdp>
53 options CONFIG_SERIAL_KDP # KDP over serial # <config_serial_kdp>
54 options KPERF # # <kperf>
58 options DISPATCH_COUNTS
62 # Note: MAC/AUDIT options must be set in all the bsd/conf, osfmk/conf, and
63 # security/conf MASTER files.
65 options CONFIG_MACF # Mandatory Access Control Framework
66 #options CONFIG_MACF_MACH # MACF applied to Mach services
67 options CONFIG_AUDIT # Kernel auditing
70 # code decryption... used on i386 for DSMOS
71 # must be set in all the bsd/conf and osfmk/conf MASTER files
73 options CONFIG_CODE_DECRYPTION
75 options CONFIG_MCA # Machine Check Architecture # <config_mca>
76 options CONFIG_VMX # Virtual Machine Extensions # <config_vmx>
77 options CONFIG_MTRR # Memory Type Range Registers # <config_mtrr>
79 options NO_NESTED_PMAP # <no_nested_pmap>
80 options CONFIG_NO_NESTED_PMAP # <no_nested_pmap>
81 options CONFIG_NESTED_PMAP # <!no_nested_pmap>