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# Master machine independent configuration file. 10# 11# Specific configuration files are created based on this and 12# the machine specific master file using the doconf script. 13# 14# Any changes to the master configuration files will affect all 15# other configuration files based upon it. 16# 17####################################################################### 18# 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: 22# 23# <configuration> = [ <attribute0> <attribute1> ... <attributeN> ] 24# 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 29# specified. 30# 31# For example: 32# 33# <foo,bar> selects a line if "foo" or "bar" are specified. 34# <!foo,bar> selects a line if neither "foo" nor "bar" is 35# specified. 36# 37# Lines with no attributes specified are selected for all 38# configurations. 39# 40####################################################################### 41# 42# Standard Mach Research Configurations: 43# -------- ---- -------- --------------- 44# 45# These are the default configurations that can be used by most sites. 46# They are used internally by the Mach project. 47# 48# LIBSA = [debug] 49# 50####################################################################### 51# 52ident LIBSA 53 54options KDEBUG # kernel tracing # <kdebug> 55options IST_KDEBUG # limited tracing # <ist_kdebug> 56options NO_KDEBUG # no kernel tracing # <no_kdebug> 57 58options GPROF # kernel profiling # <profile> 59 60options CONFIG_NOLIBKLD # kernel linker # <no_kld> 61 62options MALLOC_RESET_GC # <smaller_kld> 63options CONFIG_DTRACE # <config_dtrace> 64options VM_PRESSURE_EVENTS # <vm_pressure_events> 65 66options CONFIG_NO_PANIC_STRINGS # <no_panic_str> 67options CONFIG_NO_PRINTF_STRINGS # <no_printf_str> 68options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str> 69 70options CONFIG_KXLD # kxld/runtime linking of kexts # <config_kxld> 71 72options DEVELOPMENT # dev kernel # <development> 73 74# CONFIG_KEXT_BASEMENT - alloc post boot loaded kexts after prelinked kexts 75# 76options CONFIG_KEXT_BASEMENT # # <config_kext_basement> 77 78