12365e64fSRodney W. Grimes# 22365e64fSRodney W. Grimes# LINT -- config file for checking all the sources, tries to pull in 32365e64fSRodney W. Grimes# as much of the source tree as it can. 42365e64fSRodney W. Grimes# 52365e64fSRodney W. Grimes# This kernel is NOT MEANT to be runnable! 62365e64fSRodney W. Grimes# 732128f4cSDavid Greenman# $Id: LINT,v 1.59 1994/04/04 17:27:45 phk Exp $ 82365e64fSRodney W. Grimes# 92365e64fSRodney W. Grimes 102365e64fSRodney W. Grimesmachine "i386" 11f87a3269SRodney W. Grimescpu "I386_CPU" 12f87a3269SRodney W. Grimescpu "I486_CPU" 132365e64fSRodney W. Grimesident LINT 142365e64fSRodney W. Grimestimezone 8 dst 152365e64fSRodney W. Grimesmaxusers 10 1622665badSRodney W. Grimesmaxfdescs 2048 #Max file descriptors per process 1734f949aeSRodney W. Grimesoptions MATH_EMULATE #Support for x87 emulation 182365e64fSRodney W. Grimes 19db703a94SRodney W. Grimesconfig "386bsd" root on wd0 swap on wd0 and sd0 dumps on wd0 202365e64fSRodney W. Grimes 212365e64fSRodney W. Grimes# 222365e64fSRodney W. Grimes# options that appear as inline #ifdef's 232365e64fSRodney W. Grimes# 242365e64fSRodney W. Grimesoptions "COM_BIDIR" #Bidirectional support in sys/isa/sio.c 252365e64fSRodney W. Grimesoptions "COM_MULTIPORT" #Multiport support in sys/isa/sio.c 26bcbd5c8cSAndrey A. Chernovoptions "FIFO_TRIGGER=FIFO_TRIGGER_1" #Use this fifo value in sio.c 27690f540cSAndrey A. Chernov 282365e64fSRodney W. Grimesoptions "COMPAT_43" #compatible with BSD 4.3 2927408f32SGarrett Wollmanoptions "SYMTAB_SPACE=112466" #This kernel needs LOTS of symtable 302365e64fSRodney W. Grimesoptions GATEWAY #internetwork gateway 312365e64fSRodney W. Grimesoptions KTRACE #kernel tracing 3221c64a07SAndrey A. Chernov 332365e64fSRodney W. Grimesoptions "NCONS=8" #number of syscons virtual consoles 346d873e8aSAndreas Schulzoptions "FAT_CURSOR" #block cursor in syscons or pccons 3569637c74SJordan K. Hubbardoptions "STAR_SAVER" #syscons "stars" screen saver 3621c64a07SAndrey A. Chernovoptions "FADE_SAVER" #syscons "fade" screen saver 3769637c74SJordan K. Hubbardoptions "SNAKE_SAVER" #syscons "snake" screen saver 381be30750SAndrey A. Chernovoptions "BLANK_SAVER" #syscons "blank" screen saver 3921c64a07SAndrey A. Chernov 402365e64fSRodney W. Grimesoptions "TCP_COMPAT_42" #tcp/ip compatible with 4.2 41aa2e423cSGarrett Wollman # ^^^ NOT RECOMMENDED FOR NORMAL USE 422365e64fSRodney W. Grimesoptions UCONSOLE #x console support 432365e64fSRodney W. Grimesoptions XSERVER #xserver 44aa2e423cSGarrett Wollmanoptions DECBIT #here because clnp.h wanted it here 45aa2e423cSGarrett Wollman #support for CLNP ``congestion 46aa2e423cSGarrett Wollman #experienced'' bit in ISO-TP 47aa2e423cSGarrett Wollmanoptions TROLL #CLNP network error simulator 48aa2e423cSGarrett Wollmanoptions ICMPPRINTFS #ICMP packet dump by printf() 49aa2e423cSGarrett Wollmanoptions NSERRPRINTFS #ditto for XNS Error protocol 50cafa6f48SGarrett Wollman #^^above three NOT RECOMMENTED 51aa2e423cSGarrett Wollmanoptions FASTLINKS #support for fast symbolic links 5287e90eb9SGarrett Wollmanoptions MACHVMCOMPAT #support for Mach-style vm calls 53e13cc161SGarrett Wollmanoptions IPBROADCASTECHO=1 #send reply to broadcast pings 54e13cc161SGarrett Wollmanoptions IPMASKAGENT=1 #send reply to icmp mask requests 55990ac0b7SGarrett Wollmanoptions TPCONS #support X.25 network-layer service 56da59a31cSDavid Greenmanoptions USER_LDT #allow user-level control of i386 ldt 57da59a31cSDavid Greenman 5863a74862SSteven Wallace# See /sys/i386/doc/sound.doc for information about EXCLUDE options for 5963a74862SSteven Wallace# the sound drivers. 6063a74862SSteven Wallace 612365e64fSRodney W. Grimes# 622365e64fSRodney W. Grimes# options that are in sys/conf/files 632365e64fSRodney W. Grimes# 64e13ca98cSRodney W. Grimespseudo-device bpfilter 4 #berkeley packet filter 652365e64fSRodney W. Grimesoptions CCITT 6671b9f75aSRodney W. Grimesdevice cd0 #Only need one of these, the code dynamically grows 672365e64fSRodney W. Grimesdevice ch0 682365e64fSRodney W. Grimespseudo-device ddb 692365e64fSRodney W. Grimespseudo-device devpager 702365e64fSRodney W. Grimesoptions EON 712365e64fSRodney W. Grimespseudo-device ether 722365e64fSRodney W. Grimesoptions FIFO 732365e64fSRodney W. Grimes#pseudo-device imp 742365e64fSRodney W. Grimesoptions INET #Internet communications protocols 752365e64fSRodney W. Grimesoptions ISO 762365e64fSRodney W. Grimesoptions ISOFS #ISO 9660 File System 772365e64fSRodney W. Grimespseudo-device loop 78699e9cf1SGarrett Wollmanoptions MFS #Memory File System 792365e64fSRodney W. Grimesoptions NFS #Network File System 80fa96c3beSRodney W. Grimesoptions NS #Xerox NS communications protocols 81699e9cf1SGarrett Wollmanoptions NSIP #XNS over IP 822365e64fSRodney W. Grimesoptions PCFS #PC (MSDOS) File System 8317825e17SRodney W. Grimespseudo-device ppp 2 842365e64fSRodney W. Grimespseudo-device pty 4 852365e64fSRodney W. Grimesoptions QUOTA #enable disk quotas 869cad5725SGarrett Wollmanoptions RMP #HP remote maint protocol 872365e64fSRodney W. Grimescontroller scbus0 882365e64fSRodney W. Grimesdevice sd0 892365e64fSRodney W. Grimesdevice sd1 902365e64fSRodney W. Grimesdevice sd2 912365e64fSRodney W. Grimesdevice sd3 922365e64fSRodney W. Grimespseudo-device sl 2 932365e64fSRodney W. Grimesdevice st0 942365e64fSRodney W. Grimesdevice st1 952365e64fSRodney W. Grimespseudo-device swappager 962eca4bfaSRodney W. Grimesoptions SYSVSHM 972eca4bfaSRodney W. Grimesoptions "SHMMAXPGS=64" # 256Kb of sharable memory 982ae37484SDavid Greenmanoptions SYSVSEM 992ae37484SDavid Greenmanoptions SYSVMSG 1002365e64fSRodney W. Grimes#pseudo-device tb #tablet line discipline. 101699e9cf1SGarrett Wollmanoptions TPIP # ISO TP class 4 over IP 1022365e64fSRodney W. Grimes#pseudo-device tun 10357bb0ee4SRodney W. Grimesdevice uk0 #unknown scsi devices 1042365e64fSRodney W. Grimespseudo-device vnodepager 1052365e64fSRodney W. Grimes 1062365e64fSRodney W. Grimes# 1072365e64fSRodney W. Grimes# options that are in sys/i386/conf/files.i386 1082365e64fSRodney W. Grimes# 1092365e64fSRodney W. Grimes#This is needed here so the isa? below will work 1102365e64fSRodney W. Grimescontroller isa0 1112365e64fSRodney W. Grimes 11262167953SAndreas Schulz# driver for the Adaptec 154x SCSI cards. 1132365e64fSRodney W. Grimescontroller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr 11462167953SAndreas Schulz# driver for the Adaptec 174x SCSI cards. 1152365e64fSRodney W. Grimescontroller ahb0 at isa? bio irq 11 vector ahbintr 11662167953SAndreas Schulz# driver for the Bustek 742. 1172365e64fSRodney W. Grimescontroller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr 11862167953SAndreas Schulz# driver for the Seagate ST01/ST02 card, not yet finished. 1197e9dd2e9SRodney W. Grimes#controller sg0 at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector sgintr 120c1eeb17fSAndrew Moorecontroller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr 121c1eeb17fSAndrew Mooredisk fd0 at fdc0 drive 0 122c1eeb17fSAndrew Mooredisk fd1 at fdc0 drive 1 123c1eeb17fSAndrew Mooretape ft0 at fdc0 drive 2 12432128f4cSDavid Greenman 12562167953SAndreas Schulz# driver for the Western Digital and SMCC WD80xx cards, for the Novell 12632128f4cSDavid Greenman# NE1000/2000 card and the 3COM 3C503 card. 127e501a581SRodney W. Grimesdevice ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr 12862167953SAndreas Schulz# driver for the AT&T Starlan card. 129ec43e20aSRodney W. Grimesdevice ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr 13062167953SAndreas Schulz#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card. 1312365e64fSRodney W. Grimesdevice is0 at isa? port 0x280 net irq 10 drq 7 vector isintr 1322365e64fSRodney W. Grimes#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr 133b2aba261SAndreas Schulz# driver for the Etherlink III ( 3C509 ) card, beta version. 134b2aba261SAndreas Schulzdevice ep0 at isa? port 0x300 net irq 10 vector epintr 13532128f4cSDavid Greenman#driver for the 3c501 13632128f4cSDavid Greenmandevice el0 at isa? port 0x300 net irq 9 vector elintr 13732128f4cSDavid Greenman 1382365e64fSRodney W. Grimes#special cased above: 1392365e64fSRodney W. Grimes#controller isa0 1408d43398bSNate Williams# interruptless parallel printer port driver 1412365e64fSRodney W. Grimesdevice lpa0 at isa? port "IO_LPT1" tty 1422365e64fSRodney W. Grimesdevice lpa1 at isa? port "IO_LPT2" tty 1438d43398bSNate Williams# interrupt driven parallel printer port driver 1442365e64fSRodney W. Grimesdevice lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr 1458d43398bSNate Williams# Driver for Mutsumi CD-ROM players 14611e4fa43SGarrett Wollmandevice mcd0 at isa? port 0x300 bio irq 10 vector mcdintr 1478d43398bSNate Williams# Driver for Logitech and ATI inport bus mice 148e2aa2f4eSNate Williamsdevice mse0 at isa? port 0x23c tty irq 5 vector mseintr 1492365e64fSRodney W. Grimesdevice npx0 at isa? port "IO_NPX" irq 13 vector npxintr 1502365e64fSRodney W. Grimesdevice pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint 1512365e64fSRodney W. Grimes#only one of pc0 or sc0 allowed 1522365e64fSRodney W. Grimes#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr 1532365e64fSRodney W. Grimesdevice sio0 at isa? port "IO_COM1" tty irq 4 vector siointr 1542365e64fSRodney W. Grimesdevice sio1 at isa? port "IO_COM2" tty irq 3 vector siointr 1552365e64fSRodney W. Grimesdevice sio2 at isa? port "IO_COM3" tty irq 5 vector siointr 1562365e64fSRodney W. Grimesdevice sio3 at isa? port "IO_COM4" tty irq 9 vector siointr 1572365e64fSRodney W. Grimespseudo-device speaker 1582365e64fSRodney W. Grimes#tw device-driver 1593bb1d96cSRodney W. Grimescontroller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr 1602620c42eSNate Williamscontroller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr 1612620c42eSNate Williamsdisk wd0 at wdc0 drive 0 1622620c42eSNate Williamsdisk wd1 at wdc0 drive 1 1632620c42eSNate Williamscontroller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr 1642620c42eSNate Williamsdisk wd2 at wdc1 drive 0 1652620c42eSNate Williamsdisk wd3 at wdc1 drive 1 1662365e64fSRodney W. Grimesdevice wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 1672365e64fSRodney W. Grimes 16835686319SJordan K. Hubbard# Various sound card drivers. 169c7ba7a5eSPoul-Henning Kamp# See /sys/doc/sound.doc for more information. 17035686319SJordan K. Hubbarddevice snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr 17135686319SJordan K. Hubbarddevice snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr 17262d15cccSSteven Wallacedevice snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr 173dd442d34SJordan K. Hubbarddevice snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr 17462d15cccSSteven Wallacedevice snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr 17562d15cccSSteven Wallacedevice snd7 at isa? port 0x300 irq 7 drq 0 vector sbintr 176dd442d34SJordan K. Hubbarddevice snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr 177ce551cceSJordan K. Hubbard# 1782365e64fSRodney W. Grimes# 1792365e64fSRodney W. Grimes# options that have not been resolved yet 1802365e64fSRodney W. Grimes# 1812365e64fSRodney W. Grimespseudo-device log 182