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 GPROF # kernel profiling # <profile>
57 options CONFIG_NOLIBKLD # kernel linker # <no_kld>
58 makeoptions LIBKLD_PATH = "/usr/local/lib/libkld.a" # <!arm>
59 makeoptions LIBKLD = " " # <no_kld>
60 makeoptions LIBKLD = "${LIBKLD_PATH}" # <!no_kld>
62 options MALLOC_RESET_GC # <smaller_kld>
63 options MALLOC_KLD_VM_ALLOCATE # <smaller_kld>
64 # Use mach_vm_* calls for libsa kernel code, since we redefine vm_* for libkld
65 options vm_allocate = mach_vm_allocate # <smaller_kld>
66 options vm_deallocate = mach_vm_deallocate # <smaller_kld>
67 options CONFIG_DTRACE # <config_dtrace>
69 options CONFIG_NO_PANIC_STRINGS # <no_panic_str>
70 options CONFIG_NO_PRINTF_STRINGS # <no_printf_str>
71 options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str>