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.71 1994/05/18 16:23:25 jkh 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 "386bsd" root on wd0 swap on wd0 and sd0 dumps on wd0
26 # options that appear as inline #ifdef's
28 options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c
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
39 options "STAR_SAVER" #syscons "stars" screen saver
40 options "FADE_SAVER" #syscons "fade" screen saver
41 options "SNAKE_SAVER" #syscons "snake" screen saver
42 options "BLANK_SAVER" #syscons "blank" screen saver
44 #options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice)
45 #options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial)
47 options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
48 # ^^^ NOT RECOMMENDED FOR NORMAL USE
49 options UCONSOLE #x console support
50 options XSERVER #xserver
51 options DECBIT #here because clnp.h wanted it here
52 #support for CLNP ``congestion
53 #experienced'' bit in ISO-TP
54 options TROLL #CLNP network error simulator
55 options ICMPPRINTFS #ICMP packet dump by printf()
56 options NSERRPRINTFS #ditto for XNS Error protocol
57 #^^above three NOT RECOMMENTED
58 options FASTLINKS #support for fast symbolic links
59 options MACHVMCOMPAT #support for Mach-style vm calls
60 options IPBROADCASTECHO=1 #send reply to broadcast pings
61 options IPMASKAGENT=1 #send reply to icmp mask requests
62 options TPCONS #support X.25 network-layer service
63 options USER_LDT #allow user-level control of i386 ldt
65 # See /sys/i386/doc/sound.doc for information about EXCLUDE options for
69 options MULTICAST # Multicast code
70 options MROUTING # Multicast routing
73 # options that are in sys/conf/files
75 pseudo-device bpfilter 4 #berkeley packet filter
77 device cd0 #Only need one of these, the code dynamically grows
80 pseudo-device devpager
85 options INET #Internet communications protocols
87 options ISOFS #ISO 9660 File System
89 options MFS #Memory File System
90 options NFS #Network File System
91 options NS #Xerox NS communications protocols
92 options NSIP #XNS over IP
93 options PCFS #PC (MSDOS) File System
96 options QUOTA #enable disk quotas
97 options RMP #HP remote maint protocol
106 pseudo-device swappager
108 options "SHMMAXPGS=64" # 256Kb of sharable memory
111 #pseudo-device tb #tablet line discipline.
112 options TPIP # ISO TP class 4 over IP
114 device uk0 #unknown scsi devices
115 pseudo-device vnodepager
118 # options that are in sys/i386/conf/files.i386
120 #This is needed here so the isa? below will work
123 # driver for the Adaptec 154x SCSI cards.
124 controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
125 # driver for the Adaptec 174x SCSI cards.
126 controller ahb0 at isa? bio irq 11 vector ahbintr
127 # driver for the Bustek 742.
128 controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
129 # driver for the Seagate ST01/ST02 card, not yet finished.
130 #controller sg0 at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector sgintr
131 controller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
132 disk fd0 at fdc0 drive 0
133 disk fd1 at fdc0 drive 1
134 tape ft0 at fdc0 drive 2
136 # driver for the Western Digital and SMCC WD80xx cards, for the Novell
137 # NE1000/2000 card and the 3COM 3C503 card.
138 device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
139 # driver for the AT&T Starlan card.
140 device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
141 #driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
142 device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
143 #device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
144 # driver for the Etherlink III ( 3C509 ) card, beta version.
145 device ep0 at isa? port 0x300 net irq 10 vector epintr
146 #driver for the 3c501
147 device el0 at isa? port 0x300 net irq 9 vector elintr
149 #special cased above:
151 # interruptless parallel printer port driver
152 device lpa0 at isa? port "IO_LPT1" tty
153 device lpa1 at isa? port "IO_LPT2" tty
154 # interrupt driven parallel printer port driver
155 device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
156 # Driver for Mitsumi CD-ROM players
157 device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
158 # Driver for Logitech and ATI inport bus mice
159 device mse0 at isa? port 0x23c tty irq 5 vector mseintr
160 device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
161 # Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips.
162 # The four units correspond to the HW-jumpers. No intr, No DMA, very slow.
163 device pas0 at isa? port 0x1f88
164 device pas1 at isa? port 0x1f84
165 device pas2 at isa? port 0x1f8c
166 device pas3 at isa? port 0x1e88
167 device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
168 #only one of pc0 or sc0 allowed
169 #device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
170 device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
171 device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
172 device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
173 device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
174 #PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
175 #ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
176 #device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
178 pseudo-device speaker
180 controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
181 controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
182 disk wd0 at wdc0 drive 0
183 disk wd1 at wdc0 drive 1
184 controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
185 disk wd2 at wdc1 drive 0
186 disk wd3 at wdc1 drive 1
187 device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
189 # Various sound card drivers.
190 # See /sys/doc/sound.doc for more information.
191 device snd5 at isa? port 0x330 irq 6 vector mpuintr
192 device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
193 device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
194 device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
195 device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
196 device snd7 at isa? port 0x300
197 device snd1 at isa? port 0x388
199 # The digital speaker driver (/dev/pcaudio).
200 device pca0 at isa? tty
202 # options that have not been resolved yet