freebsd-skq/sys/i386/conf/LINT
1994-10-04 14:11:02 +00:00

228 lines
7.9 KiB
Plaintext

#
# LINT -- config file for checking all the sources, tries to pull in
# as much of the source tree as it can.
#
# This kernel is NOT MEANT to be runnable!
#
# $Id: LINT,v 1.93 1994/10/03 22:32:13 phk Exp $
#
machine "i386"
cpu "I386_CPU"
cpu "I486_CPU"
cpu "I586_CPU"
ident LINT
maxusers 10
# maxfdescs 2048 #Max file descriptors per process
options MATH_EMULATE #Support for x87 emulation
# Do not use in binary distributions
#options GPL_MATH_EMULATE #Support for x87 emualtion via
#new math emulator
config kernel root on wd0 swap on wd0 and sd0 dumps on wd0
#
# options that appear as inline #ifdef's
#
options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
options "FIFO_TRIGGER=FIFO_TRIGGER_1" #Use this fifo value in sio.c
options "COMPAT_43" #compatible with BSD 4.3
options "SYMTAB_SPACE=113498" #This kernel needs LOTS of symtable
options GATEWAY #internetwork gateway
options KTRACE #kernel tracing
options "NCONS=8" #number of syscons virtual consoles
options "FAT_CURSOR" #block cursor in syscons or pccons
options HARDFONTS #load iso8859 fonts instead of
#standard VGA fonts
#options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice)
#options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial)
options BOUNCE_BUFFERS #include support for DMA bounce buffers
options "TCP_COMPAT_42" #emulate 4.2BSD TCP bugs
# ^^^ NOT RECOMMENDED FOR NORMAL USE
options UCONSOLE #x console support
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
#^^above three NOT RECOMMENTED
options MACHVMCOMPAT #support for Mach-style vm calls
options IPBROADCASTECHO=1 #send reply to broadcast pings
options IPMASKAGENT=1 #send reply to icmp mask requests
options TPCONS #support X.25 network-layer service
options USER_LDT #allow user-level control of i386 ldt
options DSI_SOFT_MODEM #code for DSI Softmodems
options DIAGNOSTIC
options MSDOSFS_DEBUG
options APM #Advance Power Management support for laptops
#(Note: also need apm device)
options USE_RTC_CENTURY #Use it, if you are shure that your BIOS
#supports century byte
# See /sys/i386/doc/sound.doc for information about EXCLUDE options for
# the sound drivers.
# Multicast support.
options MROUTING # Multicast routing
#
# options that are in sys/conf/files
#
options "CD9660" #ISO 9660 filesystem
options FDESC #File descriptor filesystem
options FFS #Fast filesystem
options KERNFS #Kernel filesystem
options LFS #Log filesystem
options MFS #Memory File System
options NFS #Network File System
options MSDOSFS #MS DOS File System
options NULLFS #NULL filesystem
options PORTAL #Portal filesystem
options PROCFS #Process filesystem
options UMAPFS #UID map filesystem
options UNION #Union filesystem
pseudo-device bpfilter 4 #berkeley packet filter
options CCITT
device cd0 #Only need one of these, the code dynamically grows
device ch0
options DDB #Kernel debugger
options EON
pseudo-device ether
#pseudo-device imp
options INET #Internet communications protocols
options ISO
pseudo-device loop #Network loop back device
options NS #Xerox NS communications protocols
options NSIP #XNS over IP
pseudo-device ppp 2 #Point-to-point protocol
pseudo-device pty 4 #Pseudo ttys
options QUOTA #enable disk quotas
options RMP #HP remote maint protocol
controller scbus0
device sd0
device sd1
device sd2
device sd3
pseudo-device sl 2
device st0
device st1
options SYSVSHM
options SYSVSEM
options SYSVMSG
#pseudo-device tb #tablet line discipline.
options TPIP # ISO TP class 4 over IP
#pseudo-device tun
device uk0 #unknown scsi devices
#
# options that are in sys/i386/conf/files.i386
#
#This is needed here so the isa? below will work
controller isa0
#This is a preliminary PCI bus ``device''
device pci0
#Driver for Advaced Power Management (also need options APM)
device apm0 at isa?
# driver for the Adaptec 154x SCSI cards.
controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
# driver for the Adaptec 174x SCSI cards.
controller ahb0 at isa? bio irq 11 vector ahbintr
# Driver for Soundblaster (and PAS?) SCSI controller.
controller aic0 at isa? port 0x340 bio irq 11 vector aicintr
# driver for the Bustek 742.
controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
# Driver for the NCR 53c810 and 53c825 PCI SCSI host adapter chips
device ncr0
# example specification of IRQ for PCI device ID 5 (ncr0 on some MB)
#device pci5 at isa? bio irq 9 vector pciintr
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
# driver for the Western Digital and SMCC WD80xx cards, for the Novell
# NE1000/2000 card and the 3COM 3C503 card.
device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
# driver for the AT&T Starlan card.
device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
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
# driver for the Etherlink III ( 3C509 ) card, beta version.
device ep0 at isa? port 0x300 net irq 10 vector epintr
#driver for the 3c501
device el0 at isa? port 0x300 net irq 9 vector elintr
#special cased above:
#controller isa0
# interruptless parallel printer port driver
device lpa0 at isa? port "IO_LPT1" tty
device lpa1 at isa? port "IO_LPT2" tty
# interrupt driven parallel printer port driver
device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
# Driver for Mitsumi CD-ROM players
device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
# Driver for Logitech and ATI inport bus mice
device mse0 at isa? port 0x23c tty irq 5 vector mseintr
device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
# Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips.
# The four units correspond to the HW-jumpers. No intr, No DMA, very slow.
device pas0 at isa? port 0x1f88
device pas1 at isa? port 0x1f84
device pas2 at isa? port 0x1f8c
device pas3 at isa? port 0x1e88
#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
#PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
#ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
#device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
pseudo-device speaker
#tw device-driver
controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
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
device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
# Various sound card drivers.
# See /sys/doc/sound.doc for more information.
device snd5 at isa? port 0x330 irq 6 vector mpuintr
device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
device snd7 at isa? port 0x300
device snd1 at isa? port 0x388
# Cortex-I Frame Grabber driver
device ctx0 at isa? port 0x230 iomem 0xd0000
# The digital speaker driver (/dev/pcaudio).
device pca0 at isa? tty
# options that have not been resolved yet
pseudo-device log
pseudo-device gzip # Exec gzipped a.out's