2 # LINT -- config file for checking all the sources, tries to pull in
3 # as much of the source tree as it can.
5 # This kernel is NOT MEANT to be runnable!
7 # $Id: LINT,v 1.76 1994/09/05 22:32:40 ats Exp $
17 maxfdescs 2048 #Max file descriptors per process
18 options MATH_EMULATE #Support for x87 emulation
20 # Do not use in binary distributions
21 #options GPL_MATH_EMULATE #Support for x87 emualtion via
24 config kernel root on wd0 swap on wd0 and sd0 dumps on wd0
27 # options that appear as inline #ifdef's
29 options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
30 options "FIFO_TRIGGER=FIFO_TRIGGER_1" #Use this fifo value in sio.c
32 options "COMPAT_43" #compatible with BSD 4.3
33 options "SYMTAB_SPACE=113498" #This kernel needs LOTS of symtable
34 options GATEWAY #internetwork gateway
35 options KTRACE #kernel tracing
37 options "NCONS=8" #number of syscons virtual consoles
38 options "FAT_CURSOR" #block cursor in syscons or pccons
40 #options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice)
41 #options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial)
43 options BOUNCE_BUFFERS #include support for DMA bounce buffers
45 options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
46 # ^^^ NOT RECOMMENDED FOR NORMAL USE
47 options UCONSOLE #x console support
48 options DECBIT #here because clnp.h wanted it here
49 #support for CLNP ``congestion
50 #experienced'' bit in ISO-TP
51 options TROLL #CLNP network error simulator
52 options ICMPPRINTFS #ICMP packet dump by printf()
53 options NSERRPRINTFS #ditto for XNS Error protocol
54 #^^above three NOT RECOMMENTED
55 options MACHVMCOMPAT #support for Mach-style vm calls
56 options IPBROADCASTECHO=1 #send reply to broadcast pings
57 options IPMASKAGENT=1 #send reply to icmp mask requests
58 options TPCONS #support X.25 network-layer service
59 options USER_LDT #allow user-level control of i386 ldt
61 # See /sys/i386/doc/sound.doc for information about EXCLUDE options for
65 options MULTICAST # Multicast code
66 options MROUTING # Multicast routing
69 # options that are in sys/conf/files
72 options "CD9660" #ISO 9660 filesystem
73 options FDESC #File descriptor filesystem
74 options FFS #Fast filesystem
75 options KERNFS #Kernel filesystem
76 options LFS #Log filesystem
77 options MFS #Memory File System
78 options NFS #Network File System
79 options NULLFS #NULL filesystem
80 options PORTAL #Portal filesystem
81 options PROCFS #Process filesystem
82 options UMAPFS #UID map filesystem
83 options UNION #Union filesystem
85 pseudo-device bpfilter 4 #berkeley packet filter
87 device cd0 #Only need one of these, the code dynamically grows
89 options DDB #Kernel debugger
94 options INET #Internet communications protocols
96 options LKM #Loadable kernel modules
97 pseudo-device loop #Network loop back device
98 options NS #Xerox NS communications protocols
99 options NSIP #XNS over IP
100 pseudo-device ppp 2 #Point-to-point protocol
101 pseudo-device pty 4 #Pseudo ttys
102 options QUOTA #enable disk quotas
103 options RMP #HP remote maint protocol
113 options "SHMMAXPGS=64" # 256Kb of sharable memory
116 #pseudo-device tb #tablet line discipline.
117 options TPIP # ISO TP class 4 over IP
119 device uk0 #unknown scsi devices
122 # options that are in sys/i386/conf/files.i386
124 #This is needed here so the isa? below will work
127 # driver for the Adaptec 154x SCSI cards.
128 controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
129 # driver for the Adaptec 174x SCSI cards.
130 controller ahb0 at isa? bio irq 11 vector ahbintr
131 # driver for the Bustek 742.
132 controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
134 controller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
135 disk fd0 at fdc0 drive 0
136 disk fd1 at fdc0 drive 1
137 tape ft0 at fdc0 drive 2
139 # driver for the Western Digital and SMCC WD80xx cards, for the Novell
140 # NE1000/2000 card and the 3COM 3C503 card.
141 device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
142 # driver for the AT&T Starlan card.
143 device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
144 #driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
145 device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
146 #device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
147 # driver for the Etherlink III ( 3C509 ) card, beta version.
148 device ep0 at isa? port 0x300 net irq 10 vector epintr
149 #driver for the 3c501
150 device el0 at isa? port 0x300 net irq 9 vector elintr
152 #special cased above:
154 # interruptless parallel printer port driver
155 device lpa0 at isa? port "IO_LPT1" tty
156 device lpa1 at isa? port "IO_LPT2" tty
157 # interrupt driven parallel printer port driver
158 device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
159 # Driver for Mitsumi CD-ROM players
160 device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
161 # Driver for Logitech and ATI inport bus mice
162 device mse0 at isa? port 0x23c tty irq 5 vector mseintr
163 device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
164 # Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips.
165 # The four units correspond to the HW-jumpers. No intr, No DMA, very slow.
166 device pas0 at isa? port 0x1f88
167 device pas1 at isa? port 0x1f84
168 device pas2 at isa? port 0x1f8c
169 device pas3 at isa? port 0x1e88
170 device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
171 #only one of pc0 or sc0 allowed
172 #device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
173 device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
174 device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
175 device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
176 device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
177 #PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
178 #ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
179 #device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
181 pseudo-device speaker
183 controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
184 controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
185 disk wd0 at wdc0 drive 0
186 disk wd1 at wdc0 drive 1
187 controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
188 disk wd2 at wdc1 drive 0
189 disk wd3 at wdc1 drive 1
190 device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
192 # Various sound card drivers.
193 # See /sys/doc/sound.doc for more information.
194 device snd5 at isa? port 0x330 irq 6 vector mpuintr
195 device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
196 device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
197 device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
198 device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
199 device snd7 at isa? port 0x300
200 device snd1 at isa? port 0x388
202 # The digital speaker driver (/dev/pcaudio).
203 device pca0 at isa? tty
205 # options that have not been resolved yet