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.94 1994/10/04 14:11:02 ache Exp $
16 # maxfdescs 2048 #Max file descriptors per process
17 options MATH_EMULATE #Support for x87 emulation
19 # Do not use in binary distributions
20 #options GPL_MATH_EMULATE #Support for x87 emualtion via
23 config kernel root on wd0 swap on wd0 and sd0 dumps on wd0
26 # options that appear as inline #ifdef's
28 options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
29 options "FIFO_TRIGGER=FIFO_TRIGGER_1" #Use this fifo value in sio.c
31 options "COMPAT_43" #compatible with BSD 4.3
32 options "SYMTAB_SPACE=113498" #This kernel needs LOTS of symtable
33 options GATEWAY #internetwork gateway
34 options KTRACE #kernel tracing
36 options "NCONS=8" #number of syscons virtual consoles
37 options "FAT_CURSOR" #block cursor in syscons or pccons
38 options HARDFONTS #load iso8859 fonts instead of
41 #options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice)
42 #options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial)
44 options BOUNCE_BUFFERS #include support for DMA bounce buffers
46 options "TCP_COMPAT_42" #emulate 4.2BSD TCP bugs
47 # ^^^ NOT RECOMMENDED FOR NORMAL USE
48 options UCONSOLE #x console support
49 options DECBIT #here because clnp.h wanted it here
50 #support for CLNP ``congestion
51 #experienced'' bit in ISO-TP
52 options TROLL #CLNP network error simulator
53 options ICMPPRINTFS #ICMP packet dump by printf()
54 options NSERRPRINTFS #ditto for XNS Error protocol
55 #^^above three NOT RECOMMENTED
56 options MACHVMCOMPAT #support for Mach-style vm calls
57 options IPBROADCASTECHO=1 #send reply to broadcast pings
58 options IPMASKAGENT=1 #send reply to icmp mask requests
59 options TPCONS #support X.25 network-layer service
60 options USER_LDT #allow user-level control of i386 ldt
61 options DSI_SOFT_MODEM #code for DSI Softmodems
65 options APM #Advance Power Management support for laptops
66 #(Note: also need apm device)
68 options USE_RTC_CENTURY #Use it, if you are shure that your BIOS
69 #supports century byte
71 # See /sys/i386/doc/sound.doc for information about EXCLUDE options for
75 options MROUTING # Multicast routing
78 # options that are in sys/conf/files
81 options "CD9660" #ISO 9660 filesystem
82 options FDESC #File descriptor filesystem
83 options FFS #Fast filesystem
84 options KERNFS #Kernel filesystem
85 options LFS #Log filesystem
86 options MFS #Memory File System
87 options NFS #Network File System
88 options MSDOSFS #MS DOS File System
89 options NULLFS #NULL filesystem
90 options PORTAL #Portal filesystem
91 options PROCFS #Process filesystem
92 options UMAPFS #UID map filesystem
93 options UNION #Union filesystem
95 pseudo-device bpfilter 4 #berkeley packet filter
97 device cd0 #Only need one of these, the code dynamically grows
99 options DDB #Kernel debugger
103 options INET #Internet communications protocols
105 pseudo-device loop #Network loop back device
106 options NS #Xerox NS communications protocols
107 options NSIP #XNS over IP
108 pseudo-device ppp 2 #Point-to-point protocol
109 pseudo-device pty 4 #Pseudo ttys
110 options QUOTA #enable disk quotas
111 options RMP #HP remote maint protocol
123 #pseudo-device tb #tablet line discipline.
124 options TPIP # ISO TP class 4 over IP
126 device uk0 #unknown scsi devices
129 # options that are in sys/i386/conf/files.i386
131 #This is needed here so the isa? below will work
133 #This is a preliminary PCI bus ``device''
136 #Driver for Advaced Power Management (also need options APM)
139 # driver for the Adaptec 154x SCSI cards.
140 controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
141 # driver for the Adaptec 174x SCSI cards.
142 controller ahb0 at isa? bio irq 11 vector ahbintr
143 # Driver for Soundblaster (and PAS?) SCSI controller.
144 controller aic0 at isa? port 0x340 bio irq 11 vector aicintr
145 # driver for the Bustek 742.
146 controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
148 controller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
149 disk fd0 at fdc0 drive 0
150 disk fd1 at fdc0 drive 1
151 tape ft0 at fdc0 drive 2
153 # driver for the Western Digital and SMCC WD80xx cards, for the Novell
154 # NE1000/2000 card and the 3COM 3C503 card.
155 device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
156 # driver for the AT&T Starlan card.
157 device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
158 #driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
159 device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
160 #device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
161 # driver for the Etherlink III ( 3C509 ) card, beta version.
162 device ep0 at isa? port 0x300 net irq 10 vector epintr
163 #driver for the 3c501
164 device el0 at isa? port 0x300 net irq 9 vector elintr
166 #special cased above:
168 # interruptless parallel printer port driver
169 device lpa0 at isa? port "IO_LPT1" tty
170 device lpa1 at isa? port "IO_LPT2" tty
171 # interrupt driven parallel printer port driver
172 device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
173 # Driver for Mitsumi CD-ROM players
174 device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
175 # Driver for Logitech and ATI inport bus mice
176 device mse0 at isa? port 0x23c tty irq 5 vector mseintr
177 # Driver for the NCR 53c810 and 53c825 PCI SCSI host adapter chips
179 device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
180 # Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips.
181 # The four units correspond to the HW-jumpers. No intr, No DMA, slow.
182 controller pas0 at isa? port 0x1f88
183 controller pas1 at isa? port 0x1f84
184 controller pas2 at isa? port 0x1f8c
185 controller pas3 at isa? port 0x1e88
186 # example specification of IRQ for PCI device ID 5 (ncr0 on some MB)
187 #device pci5 at isa? bio irq 9 vector pciintr
188 #device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
189 device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
190 device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
191 device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
192 device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
193 #PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
194 #ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
195 #device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
197 pseudo-device speaker
199 controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
200 controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
201 disk wd0 at wdc0 drive 0
202 disk wd1 at wdc0 drive 1
203 controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
204 disk wd2 at wdc1 drive 0
205 disk wd3 at wdc1 drive 1
206 device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
208 # Various sound card drivers.
209 # See /sys/doc/sound.doc for more information.
210 device snd5 at isa? port 0x330 irq 6 vector mpuintr
211 device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
212 device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
213 device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
214 device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
215 device snd7 at isa? port 0x300
216 device snd1 at isa? port 0x388
218 # Cortex-I Frame Grabber driver
219 device ctx0 at isa? port 0x230 iomem 0xd0000
221 # The digital speaker driver (/dev/pcaudio).
222 device pca0 at isa? tty
224 # options that have not been resolved yet
227 pseudo-device gzip # Exec gzipped a.out's