NOTES revision 3064
11590Srgrimes# 21590Srgrimes# LINT -- config file for checking all the sources, tries to pull in 31590Srgrimes# as much of the source tree as it can. 41590Srgrimes# 51590Srgrimes# This kernel is NOT MEANT to be runnable! 61590Srgrimes# 71590Srgrimes# $Id: LINT,v 1.83 1994/09/23 06:22:46 davidg Exp $ 81590Srgrimes# 91590Srgrimes 101590Srgrimesmachine "i386" 111590Srgrimescpu "I386_CPU" 121590Srgrimescpu "I486_CPU" 131590Srgrimescpu "I586_CPU" 141590Srgrimesident LINT 151590Srgrimesmaxusers 10 161590Srgrimes# maxfdescs 2048 #Max file descriptors per process 171590Srgrimesoptions MATH_EMULATE #Support for x87 emulation 181590Srgrimes 191590Srgrimes# Do not use in binary distributions 201590Srgrimes#options GPL_MATH_EMULATE #Support for x87 emualtion via 211590Srgrimes #new math emulator 221590Srgrimes 231590Srgrimesconfig kernel root on wd0 swap on wd0 and sd0 dumps on wd0 241590Srgrimes 251590Srgrimes# 261590Srgrimes# options that appear as inline #ifdef's 271590Srgrimes# 281590Srgrimesoptions "COM_MULTIPORT" #Multiport support in sys/isa/sio.c 291590Srgrimesoptions "FIFO_TRIGGER=FIFO_TRIGGER_1" #Use this fifo value in sio.c 301590Srgrimes 311590Srgrimesoptions "COMPAT_43" #compatible with BSD 4.3 321590Srgrimesoptions "SYMTAB_SPACE=113498" #This kernel needs LOTS of symtable 331590Srgrimesoptions GATEWAY #internetwork gateway 341590Srgrimesoptions KTRACE #kernel tracing 351590Srgrimes 361590Srgrimesoptions "NCONS=8" #number of syscons virtual consoles 371590Srgrimesoptions "FAT_CURSOR" #block cursor in syscons or pccons 381590Srgrimesoptions HARDFONTS #load iso8859 fonts instead of 391590Srgrimes #standard VGA fonts 401590Srgrimes 411590Srgrimes#options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice) 421590Srgrimes#options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial) 431590Srgrimes 441590Srgrimesoptions BOUNCE_BUFFERS #include support for DMA bounce buffers 451590Srgrimes 461590Srgrimesoptions "TCP_COMPAT_42" #tcp/ip compatible with 4.2 471590Srgrimes # ^^^ NOT RECOMMENDED FOR NORMAL USE 481590Srgrimesoptions UCONSOLE #x console support 491590Srgrimesoptions DECBIT #here because clnp.h wanted it here 501590Srgrimes #support for CLNP ``congestion 511590Srgrimes #experienced'' bit in ISO-TP 521590Srgrimesoptions TROLL #CLNP network error simulator 531590Srgrimesoptions ICMPPRINTFS #ICMP packet dump by printf() 541590Srgrimesoptions NSERRPRINTFS #ditto for XNS Error protocol 551590Srgrimes #^^above three NOT RECOMMENTED 561590Srgrimesoptions MACHVMCOMPAT #support for Mach-style vm calls 571590Srgrimesoptions IPBROADCASTECHO=1 #send reply to broadcast pings 581590Srgrimesoptions IPMASKAGENT=1 #send reply to icmp mask requests 591590Srgrimesoptions TPCONS #support X.25 network-layer service 601590Srgrimesoptions USER_LDT #allow user-level control of i386 ldt 611590Srgrimesoptions DSI_SOFT_MODEM #code for DSI Softmodems 621590Srgrimes 631590Srgrimes# See /sys/i386/doc/sound.doc for information about EXCLUDE options for 641590Srgrimes# the sound drivers. 651590Srgrimes 661590Srgrimes# Multicast support. 671590Srgrimesoptions MROUTING # Multicast routing 681590Srgrimes 691590Srgrimes# 701590Srgrimes# options that are in sys/conf/files 711590Srgrimes# 721590Srgrimes 731590Srgrimesoptions "CD9660" #ISO 9660 filesystem 741590Srgrimesoptions FDESC #File descriptor filesystem 751590Srgrimesoptions FFS #Fast filesystem 761590Srgrimesoptions KERNFS #Kernel filesystem 771590Srgrimesoptions LFS #Log filesystem 781590Srgrimesoptions MFS #Memory File System 791590Srgrimesoptions NFS #Network File System 801590Srgrimesoptions MSDOSFS #MS DOS File System 811590Srgrimesoptions NULLFS #NULL filesystem 821590Srgrimesoptions PORTAL #Portal filesystem 831590Srgrimesoptions PROCFS #Process filesystem 841590Srgrimesoptions UMAPFS #UID map filesystem 851590Srgrimesoptions UNION #Union filesystem 861590Srgrimes 871590Srgrimespseudo-device bpfilter 4 #berkeley packet filter 881590Srgrimesoptions CCITT 891590Srgrimesdevice cd0 #Only need one of these, the code dynamically grows 901590Srgrimesdevice ch0 911590Srgrimesoptions DDB #Kernel debugger 921590Srgrimesoptions EON 931590Srgrimespseudo-device ether 941590Srgrimes#pseudo-device imp 951590Srgrimesoptions INET #Internet communications protocols 961590Srgrimesoptions ISO 971590Srgrimesoptions LKM #Loadable kernel modules 981590Srgrimespseudo-device loop #Network loop back device 991590Srgrimesoptions NS #Xerox NS communications protocols 1001590Srgrimesoptions NSIP #XNS over IP 1011590Srgrimespseudo-device ppp 2 #Point-to-point protocol 1021590Srgrimespseudo-device pty 4 #Pseudo ttys 1031590Srgrimesoptions QUOTA #enable disk quotas 1041590Srgrimesoptions RMP #HP remote maint protocol 1051590Srgrimescontroller scbus0 1061590Srgrimesdevice sd0 1071590Srgrimesdevice sd1 1081590Srgrimesdevice sd2 1091590Srgrimesdevice sd3 1101590Srgrimespseudo-device sl 2 1111590Srgrimesdevice st0 1121590Srgrimesdevice st1 1131590Srgrimesoptions SYSVSHM 1141590Srgrimesoptions SYSVSEM 1151590Srgrimesoptions SYSVMSG 1161590Srgrimes#pseudo-device tb #tablet line discipline. 1171590Srgrimesoptions TPIP # ISO TP class 4 over IP 1181590Srgrimes#pseudo-device tun 1191590Srgrimesdevice uk0 #unknown scsi devices 1201590Srgrimes 1211590Srgrimes# 1221590Srgrimes# options that are in sys/i386/conf/files.i386 1231590Srgrimes# 1241590Srgrimes#This is needed here so the isa? below will work 1251590Srgrimescontroller isa0 1261590Srgrimes 1271590Srgrimes# driver for the Adaptec 154x SCSI cards. 1281590Srgrimescontroller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr 1291590Srgrimes# driver for the Adaptec 174x SCSI cards. 1301590Srgrimescontroller ahb0 at isa? bio irq 11 vector ahbintr 1311590Srgrimes# driver for the Bustek 742. 1321590Srgrimescontroller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr 1331590Srgrimes 1341590Srgrimescontroller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr 1351590Srgrimesdisk fd0 at fdc0 drive 0 1361590Srgrimesdisk fd1 at fdc0 drive 1 1371590Srgrimestape ft0 at fdc0 drive 2 1381590Srgrimes 1391590Srgrimes# driver for the Western Digital and SMCC WD80xx cards, for the Novell 1401590Srgrimes# NE1000/2000 card and the 3COM 3C503 card. 1411590Srgrimesdevice ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr 1421590Srgrimes# driver for the AT&T Starlan card. 1431590Srgrimesdevice ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr 1441590Srgrimes#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card. 1451590Srgrimesdevice is0 at isa? port 0x280 net irq 10 drq 7 vector isintr 1461590Srgrimes#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr 1471590Srgrimes# driver for the Etherlink III ( 3C509 ) card, beta version. 1481590Srgrimesdevice ep0 at isa? port 0x300 net irq 10 vector epintr 1491590Srgrimes#driver for the 3c501 1501590Srgrimesdevice el0 at isa? port 0x300 net irq 9 vector elintr 1511590Srgrimes 1521590Srgrimes#special cased above: 1531590Srgrimes#controller isa0 1541590Srgrimes# interruptless parallel printer port driver 1551590Srgrimesdevice lpa0 at isa? port "IO_LPT1" tty 1561590Srgrimesdevice lpa1 at isa? port "IO_LPT2" tty 1571590Srgrimes# interrupt driven parallel printer port driver 1581590Srgrimesdevice lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr 1591590Srgrimes# Driver for Mitsumi CD-ROM players 1601590Srgrimesdevice mcd0 at isa? port 0x300 bio irq 10 vector mcdintr 1611590Srgrimes# Driver for Logitech and ATI inport bus mice 1621590Srgrimesdevice mse0 at isa? port 0x23c tty irq 5 vector mseintr 1631590Srgrimesdevice npx0 at isa? port "IO_NPX" irq 13 vector npxintr 1641590Srgrimes# Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips. 1651590Srgrimes# The four units correspond to the HW-jumpers. No intr, No DMA, very slow. 1661590Srgrimesdevice pas0 at isa? port 0x1f88 1671590Srgrimesdevice pas1 at isa? port 0x1f84 1681590Srgrimesdevice pas2 at isa? port 0x1f8c 1691590Srgrimesdevice pas3 at isa? port 0x1e88 1701590Srgrimes#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr 1711590Srgrimesdevice sio0 at isa? port "IO_COM1" tty irq 4 vector siointr 1721590Srgrimesdevice sio1 at isa? port "IO_COM2" tty irq 3 vector siointr 1731590Srgrimesdevice sio2 at isa? port "IO_COM3" tty irq 5 vector siointr 1741590Srgrimesdevice sio3 at isa? port "IO_COM4" tty irq 9 vector siointr 1751590Srgrimes#PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable 1761590Srgrimes#ALLOW_CONFLICT_IOADDR option (see above) if you want to use this. 1771590Srgrimes#device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr 1781590Srgrimes 1791590Srgrimespseudo-device speaker 1801590Srgrimes#tw device-driver 1811590Srgrimescontroller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr 1821590Srgrimescontroller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr 1831590Srgrimesdisk wd0 at wdc0 drive 0 1841590Srgrimesdisk wd1 at wdc0 drive 1 1851590Srgrimescontroller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr 1861590Srgrimesdisk wd2 at wdc1 drive 0 1871590Srgrimesdisk wd3 at wdc1 drive 1 1881590Srgrimesdevice wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 1891590Srgrimes 1901590Srgrimes# Various sound card drivers. 1911590Srgrimes# See /sys/doc/sound.doc for more information. 1921590Srgrimesdevice snd5 at isa? port 0x330 irq 6 vector mpuintr 1931590Srgrimesdevice snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr 1941590Srgrimesdevice snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr 1951590Srgrimesdevice snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr 1961590Srgrimesdevice snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr 1971590Srgrimesdevice snd7 at isa? port 0x300 1981590Srgrimesdevice snd1 at isa? port 0x388 1991590Srgrimes 2001590Srgrimes# The digital speaker driver (/dev/pcaudio). 2011590Srgrimesdevice pca0 at isa? tty 2021590Srgrimes 2031590Srgrimes# options that have not been resolved yet 2041590Srgrimespseudo-device log 2051590Srgrimes