1993-08-22 02:59:49 +00:00
|
|
|
#
|
|
|
|
# LINT -- config file for checking all the sources, tries to pull in
|
1994-01-25 11:08:25 +00:00
|
|
|
# as much of the source tree as it can.
|
1993-08-22 02:59:49 +00:00
|
|
|
#
|
|
|
|
# This kernel is NOT MEANT to be runnable!
|
|
|
|
#
|
1994-04-29 21:53:55 +00:00
|
|
|
# $Id: LINT,v 1.64 1994/04/23 21:39:02 wollman Exp $
|
1993-08-22 02:59:49 +00:00
|
|
|
#
|
|
|
|
|
|
|
|
machine "i386"
|
1993-10-08 16:52:45 +00:00
|
|
|
cpu "I386_CPU"
|
|
|
|
cpu "I486_CPU"
|
1993-08-22 02:59:49 +00:00
|
|
|
ident LINT
|
|
|
|
timezone 8 dst
|
|
|
|
maxusers 10
|
1993-08-26 17:55:59 +00:00
|
|
|
maxfdescs 2048 #Max file descriptors per process
|
1993-08-28 13:21:48 +00:00
|
|
|
options MATH_EMULATE #Support for x87 emulation
|
1993-08-22 02:59:49 +00:00
|
|
|
|
1994-04-29 21:53:55 +00:00
|
|
|
# Do not use in binary distributions
|
|
|
|
#options GPL_MATH_EMULATE #Support for x87 emualtion via
|
|
|
|
#new math emulator
|
|
|
|
|
1994-01-17 05:45:26 +00:00
|
|
|
config "386bsd" root on wd0 swap on wd0 and sd0 dumps on wd0
|
1993-08-22 02:59:49 +00:00
|
|
|
|
|
|
|
#
|
|
|
|
# options that appear as inline #ifdef's
|
|
|
|
#
|
|
|
|
options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c
|
|
|
|
options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
|
1994-01-29 03:17:39 +00:00
|
|
|
options "FIFO_TRIGGER=FIFO_TRIGGER_1" #Use this fifo value in sio.c
|
1994-01-27 01:01:22 +00:00
|
|
|
|
1993-08-22 02:59:49 +00:00
|
|
|
options "COMPAT_43" #compatible with BSD 4.3
|
1994-04-23 21:39:18 +00:00
|
|
|
options "SYMTAB_SPACE=113498" #This kernel needs LOTS of symtable
|
1993-08-22 02:59:49 +00:00
|
|
|
options GATEWAY #internetwork gateway
|
|
|
|
options KTRACE #kernel tracing
|
1994-02-01 08:34:16 +00:00
|
|
|
|
1993-08-22 02:59:49 +00:00
|
|
|
options "NCONS=8" #number of syscons virtual consoles
|
1993-11-03 20:02:23 +00:00
|
|
|
options "FAT_CURSOR" #block cursor in syscons or pccons
|
1993-10-31 00:20:35 +00:00
|
|
|
options "STAR_SAVER" #syscons "stars" screen saver
|
1994-02-01 08:34:16 +00:00
|
|
|
options "FADE_SAVER" #syscons "fade" screen saver
|
1993-10-31 00:20:35 +00:00
|
|
|
options "SNAKE_SAVER" #syscons "snake" screen saver
|
1994-02-01 10:46:43 +00:00
|
|
|
options "BLANK_SAVER" #syscons "blank" screen saver
|
1994-02-01 08:34:16 +00:00
|
|
|
|
1993-08-22 02:59:49 +00:00
|
|
|
options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
|
1993-11-07 16:44:40 +00:00
|
|
|
# ^^^ NOT RECOMMENDED FOR NORMAL USE
|
1993-08-22 02:59:49 +00:00
|
|
|
options UCONSOLE #x console support
|
|
|
|
options XSERVER #xserver
|
1993-11-07 16:44:40 +00:00
|
|
|
options DECBIT #here because clnp.h wanted it here
|
|
|
|
#support for CLNP ``congestion
|
|
|
|
#experienced'' bit in ISO-TP
|
|
|
|
options TROLL #CLNP network error simulator
|
|
|
|
options ICMPPRINTFS #ICMP packet dump by printf()
|
|
|
|
options NSERRPRINTFS #ditto for XNS Error protocol
|
1993-11-07 17:40:05 +00:00
|
|
|
#^^above three NOT RECOMMENTED
|
1993-11-07 16:44:40 +00:00
|
|
|
options FASTLINKS #support for fast symbolic links
|
1993-11-07 21:46:25 +00:00
|
|
|
options MACHVMCOMPAT #support for Mach-style vm calls
|
1993-11-17 23:24:12 +00:00
|
|
|
options IPBROADCASTECHO=1 #send reply to broadcast pings
|
|
|
|
options IPMASKAGENT=1 #send reply to icmp mask requests
|
1993-12-19 22:45:13 +00:00
|
|
|
options TPCONS #support X.25 network-layer service
|
1994-01-31 10:27:13 +00:00
|
|
|
options USER_LDT #allow user-level control of i386 ldt
|
|
|
|
|
1994-03-11 22:17:24 +00:00
|
|
|
# See /sys/i386/doc/sound.doc for information about EXCLUDE options for
|
|
|
|
# the sound drivers.
|
|
|
|
|
1993-08-22 02:59:49 +00:00
|
|
|
#
|
|
|
|
# options that are in sys/conf/files
|
|
|
|
#
|
1993-09-21 06:16:07 +00:00
|
|
|
pseudo-device bpfilter 4 #berkeley packet filter
|
1993-08-22 02:59:49 +00:00
|
|
|
options CCITT
|
1993-09-30 20:44:32 +00:00
|
|
|
device cd0 #Only need one of these, the code dynamically grows
|
1993-08-22 02:59:49 +00:00
|
|
|
device ch0
|
|
|
|
pseudo-device ddb
|
|
|
|
pseudo-device devpager
|
|
|
|
options EON
|
|
|
|
pseudo-device ether
|
|
|
|
options FIFO
|
|
|
|
#pseudo-device imp
|
|
|
|
options INET #Internet communications protocols
|
|
|
|
options ISO
|
|
|
|
options ISOFS #ISO 9660 File System
|
|
|
|
pseudo-device loop
|
1993-12-06 01:57:16 +00:00
|
|
|
options MFS #Memory File System
|
1993-08-22 02:59:49 +00:00
|
|
|
options NFS #Network File System
|
1993-09-06 16:17:37 +00:00
|
|
|
options NS #Xerox NS communications protocols
|
1993-12-06 01:57:16 +00:00
|
|
|
options NSIP #XNS over IP
|
1993-08-22 02:59:49 +00:00
|
|
|
options PCFS #PC (MSDOS) File System
|
1993-08-27 02:10:12 +00:00
|
|
|
pseudo-device ppp 2
|
1993-08-22 02:59:49 +00:00
|
|
|
pseudo-device pty 4
|
|
|
|
options QUOTA #enable disk quotas
|
1993-11-07 22:54:51 +00:00
|
|
|
options RMP #HP remote maint protocol
|
1993-08-22 02:59:49 +00:00
|
|
|
controller scbus0
|
|
|
|
device sd0
|
|
|
|
device sd1
|
|
|
|
device sd2
|
|
|
|
device sd3
|
|
|
|
pseudo-device sl 2
|
|
|
|
device st0
|
|
|
|
device st1
|
|
|
|
pseudo-device swappager
|
1993-09-24 21:01:11 +00:00
|
|
|
options SYSVSHM
|
|
|
|
options "SHMMAXPGS=64" # 256Kb of sharable memory
|
1994-01-25 11:08:25 +00:00
|
|
|
options SYSVSEM
|
|
|
|
options SYSVMSG
|
1993-08-22 02:59:49 +00:00
|
|
|
#pseudo-device tb #tablet line discipline.
|
1993-12-06 01:57:16 +00:00
|
|
|
options TPIP # ISO TP class 4 over IP
|
1993-08-22 02:59:49 +00:00
|
|
|
#pseudo-device tun
|
1993-11-18 05:03:27 +00:00
|
|
|
device uk0 #unknown scsi devices
|
1993-08-22 02:59:49 +00:00
|
|
|
pseudo-device vnodepager
|
|
|
|
|
|
|
|
#
|
|
|
|
# options that are in sys/i386/conf/files.i386
|
|
|
|
#
|
|
|
|
#This is needed here so the isa? below will work
|
|
|
|
controller isa0
|
|
|
|
|
1994-01-16 12:01:34 +00:00
|
|
|
# driver for the Adaptec 154x SCSI cards.
|
1993-08-22 02:59:49 +00:00
|
|
|
controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
|
1994-01-16 12:01:34 +00:00
|
|
|
# driver for the Adaptec 174x SCSI cards.
|
1993-08-22 02:59:49 +00:00
|
|
|
controller ahb0 at isa? bio irq 11 vector ahbintr
|
1994-01-16 12:01:34 +00:00
|
|
|
# driver for the Bustek 742.
|
1994-01-25 11:08:25 +00:00
|
|
|
controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
|
1994-01-16 12:01:34 +00:00
|
|
|
# driver for the Seagate ST01/ST02 card, not yet finished.
|
1994-01-25 11:08:25 +00:00
|
|
|
#controller sg0 at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector sgintr
|
1994-02-07 05:55:50 +00:00
|
|
|
controller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
|
|
|
|
disk fd0 at fdc0 drive 0
|
|
|
|
disk fd1 at fdc0 drive 1
|
|
|
|
tape ft0 at fdc0 drive 2
|
1994-04-07 12:10:31 +00:00
|
|
|
|
1994-01-16 12:01:34 +00:00
|
|
|
# driver for the Western Digital and SMCC WD80xx cards, for the Novell
|
1994-04-07 12:10:31 +00:00
|
|
|
# NE1000/2000 card and the 3COM 3C503 card.
|
1993-08-31 15:17:26 +00:00
|
|
|
device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
|
1994-01-16 12:01:34 +00:00
|
|
|
# driver for the AT&T Starlan card.
|
1993-10-18 22:46:58 +00:00
|
|
|
device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
|
1994-01-16 12:01:34 +00:00
|
|
|
#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
|
1993-08-22 02:59:49 +00:00
|
|
|
device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
|
|
|
|
#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
|
1994-01-10 18:53:52 +00:00
|
|
|
# driver for the Etherlink III ( 3C509 ) card, beta version.
|
|
|
|
device ep0 at isa? port 0x300 net irq 10 vector epintr
|
1994-04-07 12:10:31 +00:00
|
|
|
#driver for the 3c501
|
|
|
|
device el0 at isa? port 0x300 net irq 9 vector elintr
|
|
|
|
|
1993-08-22 02:59:49 +00:00
|
|
|
#special cased above:
|
|
|
|
#controller isa0
|
1994-02-09 05:35:57 +00:00
|
|
|
# interruptless parallel printer port driver
|
1993-08-22 02:59:49 +00:00
|
|
|
device lpa0 at isa? port "IO_LPT1" tty
|
|
|
|
device lpa1 at isa? port "IO_LPT2" tty
|
1994-02-09 05:35:57 +00:00
|
|
|
# interrupt driven parallel printer port driver
|
1993-08-22 02:59:49 +00:00
|
|
|
device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
|
1994-02-09 05:35:57 +00:00
|
|
|
# Driver for Mutsumi CD-ROM players
|
1994-03-15 01:58:22 +00:00
|
|
|
device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
|
1994-02-09 05:35:57 +00:00
|
|
|
# Driver for Logitech and ATI inport bus mice
|
1993-10-19 19:49:24 +00:00
|
|
|
device mse0 at isa? port 0x23c tty irq 5 vector mseintr
|
1993-08-22 02:59:49 +00:00
|
|
|
device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
|
|
|
|
device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
|
|
|
|
#only one of pc0 or sc0 allowed
|
|
|
|
#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
|
|
|
|
device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
|
|
|
|
device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
|
|
|
|
device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
|
|
|
|
device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
|
|
|
|
pseudo-device speaker
|
|
|
|
#tw device-driver
|
1993-09-13 03:15:26 +00:00
|
|
|
controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
|
1994-01-04 20:10:34 +00:00
|
|
|
controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
|
|
|
|
disk wd0 at wdc0 drive 0
|
|
|
|
disk wd1 at wdc0 drive 1
|
|
|
|
controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
|
|
|
|
disk wd2 at wdc1 drive 0
|
|
|
|
disk wd3 at wdc1 drive 1
|
1993-08-22 02:59:49 +00:00
|
|
|
device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
|
|
|
|
|
1993-10-23 22:20:47 +00:00
|
|
|
# Various sound card drivers.
|
1994-04-04 17:27:45 +00:00
|
|
|
# See /sys/doc/sound.doc for more information.
|
1994-04-07 22:18:49 +00:00
|
|
|
device snd5 at isa? port 0x330 irq 6 vector mpuintr
|
1993-10-23 22:20:47 +00:00
|
|
|
device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
|
1994-03-11 10:31:05 +00:00
|
|
|
device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
|
1993-10-23 21:21:52 +00:00
|
|
|
device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
|
1994-03-11 10:31:05 +00:00
|
|
|
device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
|
1994-04-13 01:29:14 +00:00
|
|
|
device snd7 at isa? port 0x300
|
1994-04-07 22:18:49 +00:00
|
|
|
device snd1 at isa? port 0x388
|
1994-04-23 12:13:27 +00:00
|
|
|
|
|
|
|
device pca0 at isa? tty
|
1993-10-23 10:49:01 +00:00
|
|
|
#
|
1994-04-23 21:39:18 +00:00
|
|
|
# The following option must be enabled in order for the pca driver to
|
|
|
|
# work. WARNING! BEWARE! CAUTION! ACHTUNG! VAROKAA!
|
|
|
|
# Enabling this option will result in the microtime() function (and hence
|
|
|
|
# gettimeofday(2) asnd the timestamps in bpf) giving incorrect results.
|
|
|
|
# DO NOT attempt to run NTP while playing audio with this driver.
|
1993-08-22 02:59:49 +00:00
|
|
|
#
|
1994-04-23 21:39:18 +00:00
|
|
|
#options INACCURATE_MICROTIME_IS_OK
|
|
|
|
|
1993-08-22 02:59:49 +00:00
|
|
|
# options that have not been resolved yet
|
|
|
|
pseudo-device log
|