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