# # Mach Operating System # Copyright (c) 1986 Carnegie-Mellon University # All rights reserved. The CMU software License Agreement # specifies the terms and conditions for use and redistribution. # ####################################################################### # # Master machine independent configuration file. # # Specific configuration files are created based on this and # the machine specific master file using the doconf script. # # Any changes to the master configuration files will affect all # other configuration files based upon it. # ####################################################################### # # To build a configuration, execute "doconf ." # Configurations are specified in the "Configurations:" section # of the MASTER and MASTER.* files as follows: # # = [ ... ] # # Lines in the MASTER and MASTER.* files are selected based on # the attribute selector list, found in a comment at the end of # the line. This is a list of attributes separated by commas. # The "!" operator selects the line if none of the attributes are # specified. # # For example: # # selects a line if "foo" or "bar" are specified. # selects a line if neither "foo" nor "bar" is # specified. # # Lines with no attributes specified are selected for all # configurations. # ####################################################################### # # Standard Mach Research Configurations: # -------- ---- -------- --------------- # # These are the default configurations that can be used by most sites. # They are used internally by the Mach project. # # LIBSA = [debug] # ####################################################################### # ident SECURITY # # Note: MAC options must be set in both bsd/conf and security/conf MASTER files # options KDEBUG # kernel tracing # options AUDIT # Security event auditing # options CONFIG_LCTX # Login Context options CONFIG_DTRACE # dtrace support # options VM_PRESSURE_EVENTS # options CONFIG_NO_PANIC_STRINGS # options CONFIG_NO_PRINTF_STRINGS # options CONFIG_NO_KPRINTF_STRINGS # options CONFIG_FSE # file system events # options CONFIG_TRIGGERS # trigger vnodes # options CONFIG_EXT_RESOLVER # e.g. memberd # options SECURE_KERNEL # options DEBUG # # options MACH_ASSERT # #