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_counters ]
13 # DEBUG= [ RELEASE osf_debug debug mach_kdb mach_assert]
14 # PROFILE = [ RELEASE profile ]
17 # 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 ]
18 # EMBEDDED = [ EMBEDDED_BASE no_printf_str no_kprintf_str no_kdebug ]
19 # DEVELOPMENT = [ EMBEDDED_BASE mach_assert config_dtrace config_counters ]
21 ######################################################################
23 machine "i386" # <intel>
29 # choices for platform_bus are pci at386 sqt and kkt
30 makeoptions OSFMK_MACHINE = "i386" # <mk30>
31 makeoptions CCONFIGFLAGS = "-g -O -fno-omit-frame-pointer" # <debug>
32 makeoptions CCONFIGFLAGS = "-O3" # <!debug>
33 makeoptions RELOC = "00100000" # <intel>
34 makeoptions SYMADDR = "00780000" # <intel>
36 options GDB # GNU kernel debugger # <gdb>
37 options DEBUG # general debugging code # <debug>
38 options SHOW_SPACE # print size of structures # <debug>
39 options EVENTMETER # event meter support # <debug>
40 options FP_EMUL # floating point emulation # <fp>
41 options PC_SUPPORT # virtual PC support # <pc>
42 options PROFILE # kernel profiling # <profile>
43 options UXPR # user-level XPR package # <uxpr>
44 config mach_kernel swap generic # <mach>
46 options GPROF # kgmon profiling # <profile>
48 options EVENT # <event>
51 options IOKIT # # <iokit>
52 options MACH_PE # # <mach_pe>
54 options DDB # Inline debugger # <debug>
55 options MACH_KDB # # <mach_kdb>
56 options MACH_KDP # KDP # <mach_kdp>
57 options CONFIG_SERIAL_KDP # KDP over serial # <config_serial_kdp>
60 options DISPATCH_COUNTS
63 # Note: MAC/AUDIT options must be set in all the bsd/conf, osfmk/conf, and
64 # security/conf MASTER files.
66 options CONFIG_MACF # Mandatory Access Control Framework
67 #options CONFIG_MACF_MACH # MACF applied to Mach services
68 options CONFIG_AUDIT # Kernel auditing
71 # code decryption... used on i386 for DSMOS
72 # must be set in all the bsd/conf and osfmk/conf MASTER files
74 options CONFIG_CODE_DECRYPTION
76 options CONFIG_MCA # Machine Check Architecture # <config_mca>
77 options CONFIG_VMX # Virtual Machine Extensions # <config_vmx>
79 options NO_NESTED_PMAP # <no_nested_pmap>