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# 70897a95dSAndrey A. Chernov# $Id: LINT,v 1.62 1994/04/13 01:29:14 ache 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. 170cea06d47SAndrey A. Chernovdevice snd5 at isa? port 0x330 irq 6 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 175bc906632SAndrey A. Chernovdevice snd7 at isa? port 0x300 176cea06d47SAndrey A. Chernovdevice snd1 at isa? port 0x388 1770897a95dSAndrey A. Chernov 1780897a95dSAndrey A. Chernovdevice pca0 at isa? tty 179ce551cceSJordan K. Hubbard# 1802365e64fSRodney W. Grimes# 1812365e64fSRodney W. Grimes# options that have not been resolved yet 1822365e64fSRodney W. Grimes# 1832365e64fSRodney W. Grimespseudo-device log 184