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.78 1994/09/11 21:09:49 ats 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 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 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