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