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.70 1994/05/17 23:20:32 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 device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
162 #only one of pc0 or sc0 allowed
163 #device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
164 device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
165 device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
166 device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
167 device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
168 #PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
169 #ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
170 #device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
172 pseudo-device speaker
174 controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
175 controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
176 disk wd0 at wdc0 drive 0
177 disk wd1 at wdc0 drive 1
178 controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
179 disk wd2 at wdc1 drive 0
180 disk wd3 at wdc1 drive 1
181 device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
183 # Various sound card drivers.
184 # See /sys/doc/sound.doc for more information.
185 device snd5 at isa? port 0x330 irq 6 vector mpuintr
186 device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
187 device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
188 device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
189 device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
190 device snd7 at isa? port 0x300
191 device snd1 at isa? port 0x388
193 # The digital speaker driver (/dev/pcaudio).
194 device pca0 at isa? tty
196 # options that have not been resolved yet