]>
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 | # STANDARD CONFIGURATION OPTIONS (select any combination) | |
43 | # | |
44 | # debug = extra kernel level debugging support | |
45 | # mach = Mach support | |
46 | # | |
47 | # EXPERIMENTAL CONFIGURATION OPTIONS (select any combination, carefully) | |
48 | # | |
49 | # nbc = no buffer cache support | |
50 | # simple = non-rollover clock support | |
51 | # timing = precision timing support | |
52 | # host = host resource control support | |
53 | # fixpri = fixed priority threads | |
54 | # | |
55 | # MULTI-PROCESSOR CONFIGURATION (select at most one) | |
56 | # | |
57 | # multi16 = enable 16 multi-processors | |
58 | # multi32 = enable 32 multi-processors | |
59 | # multi48 = enable 48 multi-processors | |
60 | # | |
61 | # SYSTEM SIZE CONFIGURATION (select exactly one) | |
62 | # | |
63 | # xlarge = extra large scale system configuration | |
64 | # large = large scale system configuration | |
65 | # medium = medium scale system configuration | |
66 | # small = small scale system configuration | |
67 | # xsmall = extra small scale system configuration | |
68 | # bsmall = special extra small scale system configuration for | |
69 | # (e.g. for boot floppies) | |
70 | # | |
71 | ####################################################################### | |
72 | # | |
73 | # Standard Mach Research Configurations: | |
74 | # -------- ---- -------- --------------- | |
75 | # | |
76 | # These are the default configurations that can be used by most sites. | |
77 | # They are used internally by the Mach project. | |
78 | # | |
79 | # MACH = [mach multi16 medium debug] | |
80 | # | |
81 | ####################################################################### | |
82 | # | |
83 | ident PEXPERT | |
84 | ||
85 | options MACH_PE # Objective-C support # <mach_pe> | |
2d21ac55 | 86 | options MACH_KERNEL |
b0d623f7 | 87 | options DEBUG # general debugging code # <debug> |
316670eb | 88 | options MACH_ASSERT # # <mach_assert> |
b0d623f7 | 89 | options CONFIG_DTRACE # dtrace support # <config_dtrace> |
1c79356b | 90 | |
2d21ac55 A |
91 | options CONFIG_NO_PANIC_STRINGS # <no_panic_str> |
92 | options CONFIG_NO_PRINTF_STRINGS # <no_printf_str> | |
93 | options CONFIG_NO_KPRINTF_STRINGS # <no_kprintf_str> | |
94 | ||
95 | # configurable kernel - general switch to say we are building for an | |
96 | # embedded device | |
97 | # | |
98 | options CONFIG_EMBEDDED # <config_embedded> |