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.82 1994/09/22 19:37:30 wollman 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
39 #options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice)
40 #options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial)
42 options BOUNCE_BUFFERS #include support for DMA bounce buffers
44 options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
45 # ^^^ NOT RECOMMENDED FOR NORMAL USE
46 options UCONSOLE #x console support
47 options DECBIT #here because clnp.h wanted it here
48 #support for CLNP ``congestion
49 #experienced'' bit in ISO-TP
50 options TROLL #CLNP network error simulator
51 options ICMPPRINTFS #ICMP packet dump by printf()
52 options NSERRPRINTFS #ditto for XNS Error protocol
53 #^^above three NOT RECOMMENTED
54 options MACHVMCOMPAT #support for Mach-style vm calls
55 options IPBROADCASTECHO=1 #send reply to broadcast pings
56 options IPMASKAGENT=1 #send reply to icmp mask requests
57 options TPCONS #support X.25 network-layer service
58 options USER_LDT #allow user-level control of i386 ldt
59 options DSI_SOFT_MODEM #code for DSI Softmodems
61 # See /sys/i386/doc/sound.doc for information about EXCLUDE options for
65 options MROUTING # Multicast routing
68 # options that are in sys/conf/files
71 options "CD9660" #ISO 9660 filesystem
72 options FDESC #File descriptor filesystem
73 options FFS #Fast filesystem
74 options KERNFS #Kernel filesystem
75 options LFS #Log filesystem
76 options MFS #Memory File System
77 options NFS #Network File System
78 options MSDOSFS #MS DOS 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
93 options INET #Internet communications protocols
95 options LKM #Loadable kernel modules
96 pseudo-device loop #Network loop back device
97 options NS #Xerox NS communications protocols
98 options NSIP #XNS over IP
99 pseudo-device ppp 2 #Point-to-point protocol
100 pseudo-device pty 4 #Pseudo ttys
101 options QUOTA #enable disk quotas
102 options RMP #HP remote maint protocol
114 #pseudo-device tb #tablet line discipline.
115 options TPIP # ISO TP class 4 over IP
117 device uk0 #unknown scsi devices
120 # options that are in sys/i386/conf/files.i386
122 #This is needed here so the isa? below will work
125 # driver for the Adaptec 154x SCSI cards.
126 controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
127 # driver for the Adaptec 174x SCSI cards.
128 controller ahb0 at isa? bio irq 11 vector ahbintr
129 # driver for the Bustek 742.
130 controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
132 controller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
133 disk fd0 at fdc0 drive 0
134 disk fd1 at fdc0 drive 1
135 tape ft0 at fdc0 drive 2
137 # driver for the Western Digital and SMCC WD80xx cards, for the Novell
138 # NE1000/2000 card and the 3COM 3C503 card.
139 device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
140 # driver for the AT&T Starlan card.
141 device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
142 #driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
143 device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
144 #device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
145 # driver for the Etherlink III ( 3C509 ) card, beta version.
146 device ep0 at isa? port 0x300 net irq 10 vector epintr
147 #driver for the 3c501
148 device el0 at isa? port 0x300 net irq 9 vector elintr
150 #special cased above:
152 # interruptless parallel printer port driver
153 device lpa0 at isa? port "IO_LPT1" tty
154 device lpa1 at isa? port "IO_LPT2" tty
155 # interrupt driven parallel printer port driver
156 device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
157 # Driver for Mitsumi CD-ROM players
158 device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
159 # Driver for Logitech and ATI inport bus mice
160 device mse0 at isa? port 0x23c tty irq 5 vector mseintr
161 device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
162 # Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips.
163 # The four units correspond to the HW-jumpers. No intr, No DMA, very slow.
164 device pas0 at isa? port 0x1f88
165 device pas1 at isa? port 0x1f84
166 device pas2 at isa? port 0x1f8c
167 device pas3 at isa? port 0x1e88
168 #device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
169 device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
170 device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
171 device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
172 device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
173 #PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
174 #ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
175 #device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
177 pseudo-device speaker
179 controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
180 controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
181 disk wd0 at wdc0 drive 0
182 disk wd1 at wdc0 drive 1
183 controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
184 disk wd2 at wdc1 drive 0
185 disk wd3 at wdc1 drive 1
186 device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
188 # Various sound card drivers.
189 # See /sys/doc/sound.doc for more information.
190 device snd5 at isa? port 0x330 irq 6 vector mpuintr
191 device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
192 device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
193 device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
194 device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
195 device snd7 at isa? port 0x300
196 device snd1 at isa? port 0x388
198 # The digital speaker driver (/dev/pcaudio).
199 device pca0 at isa? tty
201 # options that have not been resolved yet