# # 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.70 1994/05/17 23:20:32 jkh Exp $ # machine "i386" cpu "I386_CPU" cpu "I486_CPU" ident LINT timezone 8 dst 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 "386bsd" root on wd0 swap on wd0 and sd0 dumps on wd0 # # 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 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 "STAR_SAVER" #syscons "stars" screen saver options "FADE_SAVER" #syscons "fade" screen saver options "SNAKE_SAVER" #syscons "snake" screen saver options "BLANK_SAVER" #syscons "blank" screen saver #options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice) #options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial) options "TCP_COMPAT_42" #tcp/ip compatible with 4.2 # ^^^ NOT RECOMMENDED FOR NORMAL USE options UCONSOLE #x console support options XSERVER #xserver 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 FASTLINKS #support for fast symbolic links 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 # See /sys/i386/doc/sound.doc for information about EXCLUDE options for # the sound drivers. # Multicast support. options MULTICAST # Multicast code options MROUTING # Multicast routing # # options that are in sys/conf/files # pseudo-device bpfilter 4 #berkeley packet filter options CCITT device cd0 #Only need one of these, the code dynamically grows 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 options MFS #Memory File System options NFS #Network File System options NS #Xerox NS communications protocols options NSIP #XNS over IP options PCFS #PC (MSDOS) File System pseudo-device ppp 2 pseudo-device pty 4 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 pseudo-device swappager options SYSVSHM options "SHMMAXPGS=64" # 256Kb of sharable memory 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 pseudo-device vnodepager # # options that are in sys/i386/conf/files.i386 # #This is needed here so the isa? below will work controller isa0 # 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 the Bustek 742. controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr # driver for the Seagate ST01/ST02 card, not yet finished. #controller sg0 at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector sgintr 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 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 #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 # The digital speaker driver (/dev/pcaudio). device pca0 at isa? tty # options that have not been resolved yet pseudo-device log