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.30 1993/11/18 05:01:45 rgrimes Exp $
| 7# $Id: LINT,v 1.31 1993/12/06 01:57:16 wollman Exp $
|
8#
9
10machine "i386"
11cpu "I386_CPU"
12cpu "I486_CPU"
13ident LINT
14timezone 8 dst
15maxusers 10
16maxfdescs 2048 #Max file descriptors per process
17options MATH_EMULATE #Support for x87 emulation
18
19config "386bsd" at 0xFE100000 root on wd0 swap on wd0 and sd0
20
21#
22# options that appear as inline #ifdef's
23#
24options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c
25options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
26options "COMPAT_43" #compatible with BSD 4.3
27options "SYMTAB_SPACE=103365" #This kernel needs LOTS of symtable
28options GATEWAY #internetwork gateway
29options KTRACE #kernel tracing
30options "NCONS=8" #number of syscons virtual consoles
31options "FAT_CURSOR" #block cursor in syscons or pccons
32options "STAR_SAVER" #syscons "stars" screen saver
33options "SNAKE_SAVER" #syscons "snake" screen saver
34options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
35 # ^^^ NOT RECOMMENDED FOR NORMAL USE
36options UCONSOLE #x console support
37options XSERVER #xserver
38options DECBIT #here because clnp.h wanted it here
39 #support for CLNP ``congestion
40 #experienced'' bit in ISO-TP
41options TROLL #CLNP network error simulator
42options ICMPPRINTFS #ICMP packet dump by printf()
43options NSERRPRINTFS #ditto for XNS Error protocol
44 #^^above three NOT RECOMMENTED
45options SCSIDUMP #support for crash dumps on sd disks
46options FASTLINKS #support for fast symbolic links
47options MACHVMCOMPAT #support for Mach-style vm calls
48options IPBROADCASTECHO=1 #send reply to broadcast pings
49options IPMASKAGENT=1 #send reply to icmp mask requests
50
51#
52# options that are in sys/conf/files
53#
54pseudo-device bpfilter 4 #berkeley packet filter
55options CCITT
56device cd0 #Only need one of these, the code dynamically grows
57device ch0
58pseudo-device ddb
59pseudo-device devpager
60options EON
61pseudo-device ether
62options FIFO
63#pseudo-device imp
64options INET #Internet communications protocols
65options ISO
66options ISOFS #ISO 9660 File System
67pseudo-device loop
68options MFS #Memory File System
69options NFS #Network File System
70options NS #Xerox NS communications protocols
71options NSIP #XNS over IP
72options PCFS #PC (MSDOS) File System
| 8#
9
10machine "i386"
11cpu "I386_CPU"
12cpu "I486_CPU"
13ident LINT
14timezone 8 dst
15maxusers 10
16maxfdescs 2048 #Max file descriptors per process
17options MATH_EMULATE #Support for x87 emulation
18
19config "386bsd" at 0xFE100000 root on wd0 swap on wd0 and sd0
20
21#
22# options that appear as inline #ifdef's
23#
24options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c
25options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
26options "COMPAT_43" #compatible with BSD 4.3
27options "SYMTAB_SPACE=103365" #This kernel needs LOTS of symtable
28options GATEWAY #internetwork gateway
29options KTRACE #kernel tracing
30options "NCONS=8" #number of syscons virtual consoles
31options "FAT_CURSOR" #block cursor in syscons or pccons
32options "STAR_SAVER" #syscons "stars" screen saver
33options "SNAKE_SAVER" #syscons "snake" screen saver
34options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
35 # ^^^ NOT RECOMMENDED FOR NORMAL USE
36options UCONSOLE #x console support
37options XSERVER #xserver
38options DECBIT #here because clnp.h wanted it here
39 #support for CLNP ``congestion
40 #experienced'' bit in ISO-TP
41options TROLL #CLNP network error simulator
42options ICMPPRINTFS #ICMP packet dump by printf()
43options NSERRPRINTFS #ditto for XNS Error protocol
44 #^^above three NOT RECOMMENTED
45options SCSIDUMP #support for crash dumps on sd disks
46options FASTLINKS #support for fast symbolic links
47options MACHVMCOMPAT #support for Mach-style vm calls
48options IPBROADCASTECHO=1 #send reply to broadcast pings
49options IPMASKAGENT=1 #send reply to icmp mask requests
50
51#
52# options that are in sys/conf/files
53#
54pseudo-device bpfilter 4 #berkeley packet filter
55options CCITT
56device cd0 #Only need one of these, the code dynamically grows
57device ch0
58pseudo-device ddb
59pseudo-device devpager
60options EON
61pseudo-device ether
62options FIFO
63#pseudo-device imp
64options INET #Internet communications protocols
65options ISO
66options ISOFS #ISO 9660 File System
67pseudo-device loop
68options MFS #Memory File System
69options NFS #Network File System
70options NS #Xerox NS communications protocols
71options NSIP #XNS over IP
72options PCFS #PC (MSDOS) File System
|
| 73options PROCFS #Proc File System
|
73pseudo-device ppp 2
74pseudo-device pty 4
75options QUOTA #enable disk quotas
76options RMP #HP remote maint protocol
77controller scbus0
78device sd0
79device sd1
80device sd2
81device sd3
82pseudo-device sl 2
83device st0
84device st1
85pseudo-device swappager
86options SYSVSHM
87options "SHMMAXPGS=64" # 256Kb of sharable memory
88#pseudo-device tb #tablet line discipline.
89options TPIP # ISO TP class 4 over IP
90#pseudo-device tun
91device uk0 #unknown scsi devices
92pseudo-device vnodepager
93
94#
95# options that are in sys/i386/conf/files.i386
96#
97#This is needed here so the isa? below will work
98controller isa0
99
100controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
101controller ahb0 at isa? bio irq 11 vector ahbintr
102controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
103device com0 at isa? port "IO_COM1" tty irq 4 vector comintr
104device com1 at isa? port "IO_COM2" tty irq 3 vector comintr
105device com2 at isa? port "IO_COM3" tty irq 5 vector comintr
106device com3 at isa? port "IO_COM4" tty irq 9 vector comintr
107#dcfclk device-driver
108controller fd0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
109disk fd0 at fd0 drive 0
110disk fd1 at fd0 drive 1
111device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
112device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
113device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
114#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
115#special cased above:
116#controller isa0
117device lpa0 at isa? port "IO_LPT1" tty
118device lpa1 at isa? port "IO_LPT2" tty
119device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
120device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
121device mse0 at isa? port 0x23c tty irq 5 vector mseintr
122device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
123device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
124#only one of pc0 or sc0 allowed
125#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
126device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
127device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
128device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
129device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
130pseudo-device speaker
131#tw device-driver
132controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
133controller wd0 at isa? port "IO_WD1" bio irq 14 vector wdintr
134disk wd0 at wd0 drive 0
135disk wd1 at wd0 drive 1
136device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
137
138# Various sound card drivers.
139# See /sys/i386/doc/sound.doc for more information.
140device snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr
141device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
142device snd3 at isa? port 0x388 irq 12 drq 3 vector pasintr
143device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
144device snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr
145#
146#
147# options that have not been resolved yet
148#
149pseudo-device log
| 74pseudo-device ppp 2
75pseudo-device pty 4
76options QUOTA #enable disk quotas
77options RMP #HP remote maint protocol
78controller scbus0
79device sd0
80device sd1
81device sd2
82device sd3
83pseudo-device sl 2
84device st0
85device st1
86pseudo-device swappager
87options SYSVSHM
88options "SHMMAXPGS=64" # 256Kb of sharable memory
89#pseudo-device tb #tablet line discipline.
90options TPIP # ISO TP class 4 over IP
91#pseudo-device tun
92device uk0 #unknown scsi devices
93pseudo-device vnodepager
94
95#
96# options that are in sys/i386/conf/files.i386
97#
98#This is needed here so the isa? below will work
99controller isa0
100
101controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
102controller ahb0 at isa? bio irq 11 vector ahbintr
103controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
104device com0 at isa? port "IO_COM1" tty irq 4 vector comintr
105device com1 at isa? port "IO_COM2" tty irq 3 vector comintr
106device com2 at isa? port "IO_COM3" tty irq 5 vector comintr
107device com3 at isa? port "IO_COM4" tty irq 9 vector comintr
108#dcfclk device-driver
109controller fd0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
110disk fd0 at fd0 drive 0
111disk fd1 at fd0 drive 1
112device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
113device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
114device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
115#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
116#special cased above:
117#controller isa0
118device lpa0 at isa? port "IO_LPT1" tty
119device lpa1 at isa? port "IO_LPT2" tty
120device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
121device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
122device mse0 at isa? port 0x23c tty irq 5 vector mseintr
123device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
124device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
125#only one of pc0 or sc0 allowed
126#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
127device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
128device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
129device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
130device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
131pseudo-device speaker
132#tw device-driver
133controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
134controller wd0 at isa? port "IO_WD1" bio irq 14 vector wdintr
135disk wd0 at wd0 drive 0
136disk wd1 at wd0 drive 1
137device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
138
139# Various sound card drivers.
140# See /sys/i386/doc/sound.doc for more information.
141device snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr
142device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
143device snd3 at isa? port 0x388 irq 12 drq 3 vector pasintr
144device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
145device snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr
146#
147#
148# options that have not been resolved yet
149#
150pseudo-device log
|