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# 74da5299dSPoul-Henning Kamp# $Id: LINT,v 1.94 1994/10/04 14:11:02 ache Exp $ 82365e64fSRodney W. Grimes# 92365e64fSRodney W. Grimes 102365e64fSRodney W. Grimesmachine "i386" 11f87a3269SRodney W. Grimescpu "I386_CPU" 12f87a3269SRodney W. Grimescpu "I486_CPU" 13f1a9c715SDavid Greenmancpu "I586_CPU" 142365e64fSRodney W. Grimesident LINT 152365e64fSRodney W. Grimesmaxusers 10 162c2006d8SAndreas Schulz# maxfdescs 2048 #Max file descriptors per process 1734f949aeSRodney W. Grimesoptions MATH_EMULATE #Support for x87 emulation 182365e64fSRodney W. Grimes 19cfecaf32SGary Clark II# Do not use in binary distributions 20cfecaf32SGary Clark II#options GPL_MATH_EMULATE #Support for x87 emualtion via 21cfecaf32SGary Clark II #new math emulator 22cfecaf32SGary Clark II 23d5e4441dSDavid Greenmanconfig kernel root on wd0 swap on wd0 and sd0 dumps on wd0 242365e64fSRodney W. Grimes 252365e64fSRodney W. Grimes# 262365e64fSRodney W. Grimes# options that appear as inline #ifdef's 272365e64fSRodney W. Grimes# 282365e64fSRodney W. Grimesoptions "COM_MULTIPORT" #Multiport support in sys/isa/sio.c 29bcbd5c8cSAndrey A. Chernovoptions "FIFO_TRIGGER=FIFO_TRIGGER_1" #Use this fifo value in sio.c 30690f540cSAndrey A. Chernov 312365e64fSRodney W. Grimesoptions "COMPAT_43" #compatible with BSD 4.3 329ad380abSGarrett Wollmanoptions "SYMTAB_SPACE=113498" #This kernel needs LOTS of symtable 332365e64fSRodney W. Grimesoptions GATEWAY #internetwork gateway 342365e64fSRodney W. Grimesoptions KTRACE #kernel tracing 3521c64a07SAndrey A. Chernov 362365e64fSRodney W. Grimesoptions "NCONS=8" #number of syscons virtual consoles 376d873e8aSAndreas Schulzoptions "FAT_CURSOR" #block cursor in syscons or pccons 387bf31424SAndrey A. Chernovoptions HARDFONTS #load iso8859 fonts instead of 397bf31424SAndrey A. Chernov #standard VGA fonts 4021c64a07SAndrey A. Chernov 4145b4c36fSJordan K. Hubbard#options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice) 4245b4c36fSJordan K. Hubbard#options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial) 4345b4c36fSJordan K. Hubbard 449aba88bfSDavid Greenmanoptions BOUNCE_BUFFERS #include support for DMA bounce buffers 459aba88bfSDavid Greenman 46af27b9fcSGarrett Wollmanoptions "TCP_COMPAT_42" #emulate 4.2BSD TCP bugs 47aa2e423cSGarrett Wollman # ^^^ NOT RECOMMENDED FOR NORMAL USE 482365e64fSRodney W. Grimesoptions UCONSOLE #x console support 49aa2e423cSGarrett Wollmanoptions DECBIT #here because clnp.h wanted it here 50aa2e423cSGarrett Wollman #support for CLNP ``congestion 51aa2e423cSGarrett Wollman #experienced'' bit in ISO-TP 52aa2e423cSGarrett Wollmanoptions TROLL #CLNP network error simulator 53aa2e423cSGarrett Wollmanoptions ICMPPRINTFS #ICMP packet dump by printf() 54aa2e423cSGarrett Wollmanoptions NSERRPRINTFS #ditto for XNS Error protocol 55cafa6f48SGarrett Wollman #^^above three NOT RECOMMENTED 5687e90eb9SGarrett Wollmanoptions MACHVMCOMPAT #support for Mach-style vm calls 57e13cc161SGarrett Wollmanoptions IPBROADCASTECHO=1 #send reply to broadcast pings 58e13cc161SGarrett Wollmanoptions IPMASKAGENT=1 #send reply to icmp mask requests 59990ac0b7SGarrett Wollmanoptions TPCONS #support X.25 network-layer service 60da59a31cSDavid Greenmanoptions USER_LDT #allow user-level control of i386 ldt 6166ce0eaeSPoul-Henning Kampoptions DSI_SOFT_MODEM #code for DSI Softmodems 620dc7d907SPoul-Henning Kampoptions DIAGNOSTIC 630dc7d907SPoul-Henning Kampoptions MSDOSFS_DEBUG 64da59a31cSDavid Greenman 653af6b652SDavid Greenmanoptions APM #Advance Power Management support for laptops 663af6b652SDavid Greenman #(Note: also need apm device) 673af6b652SDavid Greenman 6870c0b54cSAndrey A. Chernovoptions USE_RTC_CENTURY #Use it, if you are shure that your BIOS 6970c0b54cSAndrey A. Chernov #supports century byte 7070c0b54cSAndrey A. Chernov 7163a74862SSteven Wallace# See /sys/i386/doc/sound.doc for information about EXCLUDE options for 7263a74862SSteven Wallace# the sound drivers. 7363a74862SSteven Wallace 740bf1d791SJordan K. Hubbard# Multicast support. 75e3178a06SJordan K. Hubbardoptions MROUTING # Multicast routing 76e3178a06SJordan K. Hubbard 772365e64fSRodney W. Grimes# 782365e64fSRodney W. Grimes# options that are in sys/conf/files 792365e64fSRodney W. Grimes# 80f1a9c715SDavid Greenman 81f1a9c715SDavid Greenmanoptions "CD9660" #ISO 9660 filesystem 82f1a9c715SDavid Greenmanoptions FDESC #File descriptor filesystem 83f1a9c715SDavid Greenmanoptions FFS #Fast filesystem 84f1a9c715SDavid Greenmanoptions KERNFS #Kernel filesystem 85f1a9c715SDavid Greenmanoptions LFS #Log filesystem 86f1a9c715SDavid Greenmanoptions MFS #Memory File System 87f1a9c715SDavid Greenmanoptions NFS #Network File System 883f9a6982SDoug Rabsonoptions MSDOSFS #MS DOS File System 89f1a9c715SDavid Greenmanoptions NULLFS #NULL filesystem 90f1a9c715SDavid Greenmanoptions PORTAL #Portal filesystem 91f1a9c715SDavid Greenmanoptions PROCFS #Process filesystem 92f1a9c715SDavid Greenmanoptions UMAPFS #UID map filesystem 93f1a9c715SDavid Greenmanoptions UNION #Union filesystem 94f1a9c715SDavid Greenman 95e13ca98cSRodney W. Grimespseudo-device bpfilter 4 #berkeley packet filter 962365e64fSRodney W. Grimesoptions CCITT 9771b9f75aSRodney W. Grimesdevice cd0 #Only need one of these, the code dynamically grows 982365e64fSRodney W. Grimesdevice ch0 99d5e4441dSDavid Greenmanoptions DDB #Kernel debugger 1002365e64fSRodney W. Grimesoptions EON 1012365e64fSRodney W. Grimespseudo-device ether 1022365e64fSRodney W. Grimes#pseudo-device imp 1032365e64fSRodney W. Grimesoptions INET #Internet communications protocols 1042365e64fSRodney W. Grimesoptions ISO 105d5e4441dSDavid Greenmanpseudo-device loop #Network loop back device 106fa96c3beSRodney W. Grimesoptions NS #Xerox NS communications protocols 107699e9cf1SGarrett Wollmanoptions NSIP #XNS over IP 108d5e4441dSDavid Greenmanpseudo-device ppp 2 #Point-to-point protocol 109d5e4441dSDavid Greenmanpseudo-device pty 4 #Pseudo ttys 1102365e64fSRodney W. Grimesoptions QUOTA #enable disk quotas 1119cad5725SGarrett Wollmanoptions RMP #HP remote maint protocol 1122365e64fSRodney W. Grimescontroller scbus0 1132365e64fSRodney W. Grimesdevice sd0 1142365e64fSRodney W. Grimesdevice sd1 1152365e64fSRodney W. Grimesdevice sd2 1162365e64fSRodney W. Grimesdevice sd3 1172365e64fSRodney W. Grimespseudo-device sl 2 1182365e64fSRodney W. Grimesdevice st0 1192365e64fSRodney W. Grimesdevice st1 12012cada71SJordan K. Hubbardoptions SYSVSHM 1212ae37484SDavid Greenmanoptions SYSVSEM 1222ae37484SDavid Greenmanoptions SYSVMSG 1232365e64fSRodney W. Grimes#pseudo-device tb #tablet line discipline. 124699e9cf1SGarrett Wollmanoptions TPIP # ISO TP class 4 over IP 1252365e64fSRodney W. Grimes#pseudo-device tun 12657bb0ee4SRodney W. Grimesdevice uk0 #unknown scsi devices 1272365e64fSRodney W. Grimes 1282365e64fSRodney W. Grimes# 1292365e64fSRodney W. Grimes# options that are in sys/i386/conf/files.i386 1302365e64fSRodney W. Grimes# 1312365e64fSRodney W. Grimes#This is needed here so the isa? below will work 1322365e64fSRodney W. Grimescontroller isa0 1335c370a2eSStefan Eßer#This is a preliminary PCI bus ``device'' 1344da5299dSPoul-Henning Kampcontroller pci0 1352365e64fSRodney W. Grimes 1363af6b652SDavid Greenman#Driver for Advaced Power Management (also need options APM) 13793e9832aSPoul-Henning Kampdevice apm0 at isa? 1383af6b652SDavid Greenman 13962167953SAndreas Schulz# driver for the Adaptec 154x SCSI cards. 1402365e64fSRodney W. Grimescontroller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr 14162167953SAndreas Schulz# driver for the Adaptec 174x SCSI cards. 1422365e64fSRodney W. Grimescontroller ahb0 at isa? bio irq 11 vector ahbintr 14331208007SJordan K. Hubbard# Driver for Soundblaster (and PAS?) SCSI controller. 14431208007SJordan K. Hubbardcontroller aic0 at isa? port 0x340 bio irq 11 vector aicintr 14562167953SAndreas Schulz# driver for the Bustek 742. 1462365e64fSRodney W. Grimescontroller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr 1472ac8be82SAndreas Schulz 148c1eeb17fSAndrew Moorecontroller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr 149c1eeb17fSAndrew Mooredisk fd0 at fdc0 drive 0 150c1eeb17fSAndrew Mooredisk fd1 at fdc0 drive 1 151c1eeb17fSAndrew Mooretape ft0 at fdc0 drive 2 15232128f4cSDavid Greenman 15362167953SAndreas Schulz# driver for the Western Digital and SMCC WD80xx cards, for the Novell 15432128f4cSDavid Greenman# NE1000/2000 card and the 3COM 3C503 card. 155e501a581SRodney W. Grimesdevice ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr 15662167953SAndreas Schulz# driver for the AT&T Starlan card. 157ec43e20aSRodney W. Grimesdevice ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr 15862167953SAndreas Schulz#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card. 1592365e64fSRodney W. Grimesdevice is0 at isa? port 0x280 net irq 10 drq 7 vector isintr 1602365e64fSRodney W. Grimes#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr 161b2aba261SAndreas Schulz# driver for the Etherlink III ( 3C509 ) card, beta version. 162b2aba261SAndreas Schulzdevice ep0 at isa? port 0x300 net irq 10 vector epintr 16332128f4cSDavid Greenman#driver for the 3c501 16432128f4cSDavid Greenmandevice el0 at isa? port 0x300 net irq 9 vector elintr 16532128f4cSDavid Greenman 1662365e64fSRodney W. Grimes#special cased above: 1672365e64fSRodney W. Grimes#controller isa0 1688d43398bSNate Williams# interruptless parallel printer port driver 1692365e64fSRodney W. Grimesdevice lpa0 at isa? port "IO_LPT1" tty 1702365e64fSRodney W. Grimesdevice lpa1 at isa? port "IO_LPT2" tty 1718d43398bSNate Williams# interrupt driven parallel printer port driver 1722365e64fSRodney W. Grimesdevice lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr 17345b4c36fSJordan K. Hubbard# Driver for Mitsumi CD-ROM players 17411e4fa43SGarrett Wollmandevice mcd0 at isa? port 0x300 bio irq 10 vector mcdintr 1758d43398bSNate Williams# Driver for Logitech and ATI inport bus mice 176e2aa2f4eSNate Williamsdevice mse0 at isa? port 0x23c tty irq 5 vector mseintr 1774da5299dSPoul-Henning Kamp# Driver for the NCR 53c810 and 53c825 PCI SCSI host adapter chips 1784da5299dSPoul-Henning Kampcontroller ncr0 1792365e64fSRodney W. Grimesdevice npx0 at isa? port "IO_NPX" irq 13 vector npxintr 180e9d16791SPoul-Henning Kamp# Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips. 1814da5299dSPoul-Henning Kamp# The four units correspond to the HW-jumpers. No intr, No DMA, slow. 1824da5299dSPoul-Henning Kampcontroller pas0 at isa? port 0x1f88 1834da5299dSPoul-Henning Kampcontroller pas1 at isa? port 0x1f84 1844da5299dSPoul-Henning Kampcontroller pas2 at isa? port 0x1f8c 1854da5299dSPoul-Henning Kampcontroller pas3 at isa? port 0x1e88 1864da5299dSPoul-Henning Kamp# example specification of IRQ for PCI device ID 5 (ncr0 on some MB) 1874da5299dSPoul-Henning Kamp#device pci5 at isa? bio irq 9 vector pciintr 1882365e64fSRodney W. Grimes#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr 1892365e64fSRodney W. Grimesdevice sio0 at isa? port "IO_COM1" tty irq 4 vector siointr 1902365e64fSRodney W. Grimesdevice sio1 at isa? port "IO_COM2" tty irq 3 vector siointr 1912365e64fSRodney W. Grimesdevice sio2 at isa? port "IO_COM3" tty irq 5 vector siointr 1922365e64fSRodney W. Grimesdevice sio3 at isa? port "IO_COM4" tty irq 9 vector siointr 19345b4c36fSJordan K. Hubbard#PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable 19445b4c36fSJordan K. Hubbard#ALLOW_CONFLICT_IOADDR option (see above) if you want to use this. 1953759860cSJordan K. Hubbard#device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr 19645b4c36fSJordan K. Hubbard 1972365e64fSRodney W. Grimespseudo-device speaker 1982365e64fSRodney W. Grimes#tw device-driver 1993bb1d96cSRodney W. Grimescontroller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr 2002620c42eSNate Williamscontroller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr 2012620c42eSNate Williamsdisk wd0 at wdc0 drive 0 2022620c42eSNate Williamsdisk wd1 at wdc0 drive 1 2032620c42eSNate Williamscontroller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr 2042620c42eSNate Williamsdisk wd2 at wdc1 drive 0 2052620c42eSNate Williamsdisk wd3 at wdc1 drive 1 2062365e64fSRodney W. Grimesdevice wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 2072365e64fSRodney W. Grimes 20835686319SJordan K. Hubbard# Various sound card drivers. 209c7ba7a5eSPoul-Henning Kamp# See /sys/doc/sound.doc for more information. 210cea06d47SAndrey A. Chernovdevice snd5 at isa? port 0x330 irq 6 vector mpuintr 21135686319SJordan K. Hubbarddevice snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr 21262d15cccSSteven Wallacedevice snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr 213dd442d34SJordan K. Hubbarddevice snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr 21462d15cccSSteven Wallacedevice snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr 215bc906632SAndrey A. Chernovdevice snd7 at isa? port 0x300 216cea06d47SAndrey A. Chernovdevice snd1 at isa? port 0x388 2170897a95dSAndrey A. Chernov 218fae772f7SDavid Greenman# Cortex-I Frame Grabber driver 219fae772f7SDavid Greenmandevice ctx0 at isa? port 0x230 iomem 0xd0000 220fae772f7SDavid Greenman 2217d46c3b6SJordan K. Hubbard# The digital speaker driver (/dev/pcaudio). 2220897a95dSAndrey A. Chernovdevice pca0 at isa? tty 2239ad380abSGarrett Wollman 2242365e64fSRodney W. Grimes# options that have not been resolved yet 2252365e64fSRodney W. Grimespseudo-device log 2268819d6ecSPoul-Henning Kamp 2278819d6ecSPoul-Henning Kamppseudo-device gzip # Exec gzipped a.out's 228