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.83 1994/09/23 06:22:46 davidg 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" #tcp/ip compatible with 4.2
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
63 # See /sys/i386/doc/sound.doc for information about EXCLUDE options for
67 options MROUTING # Multicast routing
70 # options that are in sys/conf/files
73 options "CD9660" #ISO 9660 filesystem
74 options FDESC #File descriptor filesystem
75 options FFS #Fast filesystem
76 options KERNFS #Kernel filesystem
77 options LFS #Log filesystem
78 options MFS #Memory File System
79 options NFS #Network File System
80 options MSDOSFS #MS DOS File System
81 options NULLFS #NULL filesystem
82 options PORTAL #Portal filesystem
83 options PROCFS #Process filesystem
84 options UMAPFS #UID map filesystem
85 options UNION #Union filesystem
87 pseudo-device bpfilter 4 #berkeley packet filter
89 device cd0 #Only need one of these, the code dynamically grows
91 options DDB #Kernel debugger
95 options INET #Internet communications protocols
97 options LKM #Loadable kernel modules
98 pseudo-device loop #Network loop back device
99 options NS #Xerox NS communications protocols
100 options NSIP #XNS over IP
101 pseudo-device ppp 2 #Point-to-point protocol
102 pseudo-device pty 4 #Pseudo ttys
103 options QUOTA #enable disk quotas
104 options RMP #HP remote maint protocol
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 sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
171 device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
172 device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
173 device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
174 device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
175 #PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
176 #ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
177 #device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
179 pseudo-device speaker
181 controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
182 controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
183 disk wd0 at wdc0 drive 0
184 disk wd1 at wdc0 drive 1
185 controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
186 disk wd2 at wdc1 drive 0
187 disk wd3 at wdc1 drive 1
188 device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
190 # Various sound card drivers.
191 # See /sys/doc/sound.doc for more information.
192 device snd5 at isa? port 0x330 irq 6 vector mpuintr
193 device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
194 device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
195 device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
196 device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
197 device snd7 at isa? port 0x300
198 device snd1 at isa? port 0x388
200 # The digital speaker driver (/dev/pcaudio).
201 device pca0 at isa? tty
203 # options that have not been resolved yet