]>
Commit | Line | Data |
---|---|---|
1c79356b A |
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 | ####################################################################### | |
2d21ac55 A |
49 | # SYSTEM SIZE CONFIGURATION (select exactly one) |
50 | # | |
51 | # xlarge = extra large scale system configuration | |
52 | # large = large scale system configuration | |
53 | # medium = medium scale system configuration | |
54 | # small = small scale system configuration | |
55 | # xsmall = extra small scale system configuration | |
56 | # bsmall = special extra small scale system configuration | |
1c79356b A |
57 | # |
58 | ident IOKIT | |
59 | ||
2d21ac55 | 60 | options HIBERNATION # system hibernation # <hibernation> |
1c79356b A |
61 | options KERNOBJC # Objective-C implementation # <kernobjc> |
62 | options IOKITCPP # C++ implementation # <iokitcpp> | |
63 | options KDEBUG # kernel tracing # <kdebug> | |
2d21ac55 A |
64 | options NETWORKING # kernel networking # <networking> |
65 | options CRYPTO # want crypto code # <crypto> | |
b0d623f7 A |
66 | options CONFIG_DTRACE # enable dtrace # <config_dtrace> |
67 | ||
68 | options CONFIG_SLEEP # # <config_sleep> | |
69 | ||
2d21ac55 | 70 | |
1c79356b A |
71 | #makeoptions LIBDRIVER = "libDriver_kern.o" # <libdriver> |
72 | #makeoptions LIBOBJC = "libkobjc.o" # <kernobjc> | |
73 | ||
2d21ac55 A |
74 | # |
75 | # configurable kernel related resources | |
76 | # | |
77 | options CONFIG_MAX_THREADS=32 # <medium,large,xlarge> | |
78 | options CONFIG_MAX_THREADS=32 # <small,xsmall> | |
79 | options CONFIG_MAX_THREADS=32 # <bsmall> | |
80 | ||
81 | # | |
82 | # configurable kernel - use these options to strip strings from panic | |
83 | # and printf calls. | |
84 | # no_panic_str - saves around 50K of kernel footprint. | |
85 | # no_printf_str - saves around 45K of kernel footprint. | |
86 | # | |
87 | options CONFIG_NO_PANIC_STRINGS # <no_panic_str> | |
88 | options CONFIG_NO_PRINTF_STRINGS # <no_printf_str> | |
89 | options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str> | |
90 | ||
91 | # configurable kernel - general switch to say we are building for an | |
92 | # embedded device | |
93 | # | |
94 | options CONFIG_EMBEDDED # <config_embedded> | |
1c79356b | 95 | |
2d21ac55 | 96 | options MACH_ASSERT # <mach_assert> |