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# 43# These are the default configurations that can be used by most sites. 44# They are used internally by the Mach project. 45# 46# IOKIT = [iokitcpp debug] 47# 48####################################################################### 49# 50ident IOKIT 51 52options KERNOBJC # Objective-C implementation # <kernobjc> 53options IOKITCPP # C++ implementation # <iokitcpp> 54options KDEBUG # kernel tracing # <kdebug> 55#makeoptions LIBDRIVER = "libDriver_kern.o" # <libdriver> 56#makeoptions LIBOBJC = "libkobjc.o" # <kernobjc> 57 58 59

