Commit | Line | Data |
---|---|---|
1f1e5ce6 RG |
1 | # |
2 | # LINT -- config file for checking all the sources, tries to pull in | |
3 | # as much of the source tree as it can. | |
4 | # | |
5 | # This kernel is NOT MEANT to be runnable! | |
6 | # | |
39393c2b | 7 | # $Id: LINT,v 1.1 1993/08/22 02:59:49 rgrimes Exp $ |
1f1e5ce6 RG |
8 | # |
9 | ||
10 | machine "i386" | |
11 | cpu "i386" | |
12 | ident LINT | |
13 | timezone 8 dst | |
14 | maxusers 10 | |
39393c2b | 15 | maxfdescs 2048 #Max file descriptors per process |
1f1e5ce6 RG |
16 | |
17 | config "386bsd" root on wd0 swap on wd0 and sd0 | |
18 | ||
19 | # | |
20 | # options that appear as inline #ifdef's | |
21 | # | |
22 | options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c | |
23 | options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c | |
24 | options "COMPAT_43" #compatible with BSD 4.3 | |
25 | options GATEWAY #internetwork gateway | |
26 | options KTRACE #kernel tracing | |
27 | options "NCONS=8" #number of syscons virtual consoles | |
28 | options "TCP_COMPAT_42" #tcp/ip compatible with 4.2 | |
29 | options UCONSOLE #x console support | |
30 | options XSERVER #xserver | |
31 | ||
32 | # | |
33 | # options that are in sys/conf/files | |
34 | # | |
35 | pseudo-device bpfilter #berkeley packet filter | |
36 | options CCITT | |
37 | device cd0 #scsi cdrom driver | |
38 | device cd1 | |
39 | device ch0 | |
40 | pseudo-device ddb | |
41 | pseudo-device devpager | |
42 | options EON | |
43 | pseudo-device ether | |
44 | options FIFO | |
45 | #pseudo-device imp | |
46 | options INET #Internet communications protocols | |
47 | options ISO | |
48 | options ISOFS #ISO 9660 File System | |
49 | pseudo-device loop | |
50 | options MFS #Memroy File System | |
51 | options NFS #Network File System | |
52 | #options NS #Xerox NS communications protocols | |
53 | options PCFS #PC (MSDOS) File System | |
54 | pseudo-device pty 4 | |
55 | options QUOTA #enable disk quotas | |
56 | controller scbus0 | |
57 | device sd0 | |
58 | device sd1 | |
59 | device sd2 | |
60 | device sd3 | |
61 | pseudo-device sl 2 | |
62 | device st0 | |
63 | device st1 | |
64 | pseudo-device swappager | |
65 | #options SYSVSHM | |
66 | #pseudo-device tb #tablet line discipline. | |
67 | pseudo-device tpip | |
68 | #pseudo-device tun | |
69 | pseudo-device vnodepager | |
70 | ||
71 | # | |
72 | # options that are in sys/i386/conf/files.i386 | |
73 | # | |
74 | #This is needed here so the isa? below will work | |
75 | controller isa0 | |
76 | ||
77 | controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr | |
78 | controller ahb0 at isa? bio irq 11 vector ahbintr | |
79 | controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr | |
80 | device com0 at isa? port "IO_COM1" tty irq 4 vector comintr | |
81 | device com1 at isa? port "IO_COM2" tty irq 3 vector comintr | |
82 | device com2 at isa? port "IO_COM3" tty irq 5 vector comintr | |
83 | device com3 at isa? port "IO_COM4" tty irq 9 vector comintr | |
84 | #dcfclk device-driver | |
85 | controller fd0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr | |
86 | disk fd0 at fd0 drive 0 | |
87 | disk fd1 at fd0 drive 1 | |
88 | device ec0 at isa? port 0x250 net irq 9 iomem 0xd8000 iosiz 8192 vector ecintr | |
89 | device ed0 at isa? port 0x280 net irq 9 iomem 0xd0000 vector edintr | |
90 | device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr | |
91 | device ne0 at isa? port 0x300 net irq 9 vector neintr | |
92 | #device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr | |
93 | device we0 at isa? port 0x280 net irq 9 iomem 0xd0000 iosiz 8192 vector weintr | |
94 | #special cased above: | |
95 | #controller isa0 | |
96 | device lpa0 at isa? port "IO_LPT1" tty | |
97 | device lpa1 at isa? port "IO_LPT2" tty | |
98 | device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr | |
99 | #mse device-driver | |
100 | device npx0 at isa? port "IO_NPX" irq 13 vector npxintr | |
101 | device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint | |
102 | #only one of pc0 or sc0 allowed | |
103 | #device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr | |
104 | device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr | |
105 | device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr | |
106 | device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr | |
107 | device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr | |
108 | pseudo-device speaker | |
109 | #tw device-driver | |
110 | controller uha0 at isa? port "IO_UHA0" bio irq 11 drq 5 vector uhaintr | |
111 | controller wd0 at isa? port "IO_WD1" bio irq 14 vector wdintr | |
112 | disk wd0 at wd0 drive 0 | |
113 | disk wd1 at wd0 drive 1 | |
114 | device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr | |
115 | ||
116 | # | |
117 | # options that have not been resolved yet | |
118 | # | |
119 | pseudo-device log |