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 # Master machine independent configuration file.
11 # Specific configuration files are created based on this and
12 # the machine specific master file using the doconf script.
14 # Any changes to the master configuration files will affect all
15 # other configuration files based upon it.
17 #######################################################################
19 # To build a configuration, execute "doconf <configuration>."
20 # Configurations are specified in the "Configurations:" section
21 # of the MASTER and MASTER.* files as follows:
23 # <configuration> = [ <attribute0> <attribute1> ... <attributeN> ]
25 # Lines in the MASTER and MASTER.* files are selected based on
26 # the attribute selector list, found in a comment at the end of
27 # the line. This is a list of attributes separated by commas.
28 # The "!" operator selects the line if none of the attributes are
33 # <foo,bar> selects a line if "foo" or "bar" are specified.
34 # <!foo,bar> selects a line if neither "foo" nor "bar" is
37 # Lines with no attributes specified are selected for all
40 #######################################################################
42 # Standard Mach Research Configurations:
43 # -------- ---- -------- ---------------
45 # These are the default configurations that can be used by most sites.
46 # They are used internally by the Mach project.
50 #######################################################################
54 options KDEBUG # kernel tracing # <kdebug>
55 options IST_KDEBUG # limited tracing # <ist_kdebug>
56 options NO_KDEBUG # no kernel tracing # <no_kdebug>
58 options GPROF # kernel profiling # <profile>
60 options CONFIG_NOLIBKLD # kernel linker # <no_kld>
62 options MALLOC_RESET_GC # <smaller_kld>
63 options CONFIG_DTRACE # <config_dtrace>
64 options VM_PRESSURE_EVENTS # <vm_pressure_events>
66 options CONFIG_NO_PANIC_STRINGS # <no_panic_str>
67 options CONFIG_NO_PRINTF_STRINGS # <no_printf_str>
68 options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str>
70 options CONFIG_KXLD # kxld/runtime linking of kexts # <config_kxld>
72 options DEVELOPMENT # dev kernel # <development>
74 # configurable kernel - general switch to say we are building for an
77 options CONFIG_EMBEDDED # <config_embedded>
79 # CONFIG_KEXT_BASEMENT - alloc post boot loaded kexts after prelinked kexts
81 options CONFIG_KEXT_BASEMENT # # <config_kext_basement>