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# 769637c74SJordan K. Hubbard# $Id: LINT,v 1.21 1993/10/23 22:55:43 jkh 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 19a0ea6f1cSRodney W. Grimesconfig "386bsd" at 0xFE100000 root on wd0 swap on wd0 and sd0 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 262365e64fSRodney W. Grimesoptions "COMPAT_43" #compatible with BSD 4.3 27e597e911SJordan K. Hubbardoptions "SYMTAB_SPACE=102452" #This kernel needs LOTS of symtable 282365e64fSRodney W. Grimesoptions GATEWAY #internetwork gateway 292365e64fSRodney W. Grimesoptions KTRACE #kernel tracing 302365e64fSRodney W. Grimesoptions "NCONS=8" #number of syscons virtual consoles 3169637c74SJordan K. Hubbardoptions "FAT_CURSOR" #block cursor in syscons 3269637c74SJordan K. Hubbardoptions "STAR_SAVER" #syscons "stars" screen saver 3369637c74SJordan K. Hubbardoptions "SNAKE_SAVER" #syscons "snake" screen saver 342365e64fSRodney W. Grimesoptions "TCP_COMPAT_42" #tcp/ip compatible with 4.2 352365e64fSRodney W. Grimesoptions UCONSOLE #x console support 362365e64fSRodney W. Grimesoptions XSERVER #xserver 372365e64fSRodney W. Grimes 382365e64fSRodney W. Grimes# 392365e64fSRodney W. Grimes# options that are in sys/conf/files 402365e64fSRodney W. Grimes# 41e13ca98cSRodney W. Grimespseudo-device bpfilter 4 #berkeley packet filter 422365e64fSRodney W. Grimesoptions CCITT 4371b9f75aSRodney W. Grimesdevice cd0 #Only need one of these, the code dynamically grows 442365e64fSRodney W. Grimesdevice ch0 452365e64fSRodney W. Grimespseudo-device ddb 462365e64fSRodney W. Grimespseudo-device devpager 472365e64fSRodney W. Grimesoptions EON 482365e64fSRodney W. Grimespseudo-device ether 492365e64fSRodney W. Grimesoptions FIFO 502365e64fSRodney W. Grimes#pseudo-device imp 512365e64fSRodney W. Grimesoptions INET #Internet communications protocols 522365e64fSRodney W. Grimesoptions ISO 532365e64fSRodney W. Grimesoptions ISOFS #ISO 9660 File System 542365e64fSRodney W. Grimespseudo-device loop 552365e64fSRodney W. Grimesoptions MFS #Memroy File System 562365e64fSRodney W. Grimesoptions NFS #Network File System 57fa96c3beSRodney W. Grimesoptions NS #Xerox NS communications protocols 582365e64fSRodney W. Grimesoptions PCFS #PC (MSDOS) File System 5917825e17SRodney W. Grimespseudo-device ppp 2 602365e64fSRodney W. Grimespseudo-device pty 4 612365e64fSRodney W. Grimesoptions QUOTA #enable disk quotas 622365e64fSRodney W. Grimescontroller scbus0 632365e64fSRodney W. Grimesdevice sd0 642365e64fSRodney W. Grimesdevice sd1 652365e64fSRodney W. Grimesdevice sd2 662365e64fSRodney W. Grimesdevice sd3 672365e64fSRodney W. Grimespseudo-device sl 2 682365e64fSRodney W. Grimesdevice st0 692365e64fSRodney W. Grimesdevice st1 702365e64fSRodney W. Grimespseudo-device swappager 712eca4bfaSRodney W. Grimesoptions SYSVSHM 722eca4bfaSRodney W. Grimesoptions "SHMMAXPGS=64" # 256Kb of sharable memory 732365e64fSRodney W. Grimes#pseudo-device tb #tablet line discipline. 742365e64fSRodney W. Grimespseudo-device tpip 752365e64fSRodney W. Grimes#pseudo-device tun 762365e64fSRodney W. Grimespseudo-device vnodepager 772365e64fSRodney W. Grimes 782365e64fSRodney W. Grimes# 792365e64fSRodney W. Grimes# options that are in sys/i386/conf/files.i386 802365e64fSRodney W. Grimes# 812365e64fSRodney W. Grimes#This is needed here so the isa? below will work 822365e64fSRodney W. Grimescontroller isa0 832365e64fSRodney W. Grimes 842365e64fSRodney W. Grimescontroller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr 852365e64fSRodney W. Grimescontroller ahb0 at isa? bio irq 11 vector ahbintr 862365e64fSRodney W. Grimescontroller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr 872365e64fSRodney W. Grimesdevice com0 at isa? port "IO_COM1" tty irq 4 vector comintr 882365e64fSRodney W. Grimesdevice com1 at isa? port "IO_COM2" tty irq 3 vector comintr 892365e64fSRodney W. Grimesdevice com2 at isa? port "IO_COM3" tty irq 5 vector comintr 902365e64fSRodney W. Grimesdevice com3 at isa? port "IO_COM4" tty irq 9 vector comintr 912365e64fSRodney W. Grimes#dcfclk device-driver 922365e64fSRodney W. Grimescontroller fd0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr 932365e64fSRodney W. Grimesdisk fd0 at fd0 drive 0 942365e64fSRodney W. Grimesdisk fd1 at fd0 drive 1 95e501a581SRodney W. Grimesdevice ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr 96ec43e20aSRodney W. Grimesdevice ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr 972365e64fSRodney W. Grimesdevice is0 at isa? port 0x280 net irq 10 drq 7 vector isintr 982365e64fSRodney W. Grimes#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr 992365e64fSRodney W. Grimes#special cased above: 1002365e64fSRodney W. Grimes#controller isa0 1012365e64fSRodney W. Grimesdevice lpa0 at isa? port "IO_LPT1" tty 1022365e64fSRodney W. Grimesdevice lpa1 at isa? port "IO_LPT2" tty 1032365e64fSRodney W. Grimesdevice lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr 1045e89f9d8SRodney W. Grimesdevice mcd0 at isa? port 0x300 bio irq 10 vector mcdintr 105e2aa2f4eSNate Williamsdevice mse0 at isa? port 0x23c tty irq 5 vector mseintr 1062365e64fSRodney W. Grimesdevice npx0 at isa? port "IO_NPX" irq 13 vector npxintr 1072365e64fSRodney W. Grimesdevice pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint 1082365e64fSRodney W. Grimes#only one of pc0 or sc0 allowed 1092365e64fSRodney W. Grimes#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr 1102365e64fSRodney W. Grimesdevice sio0 at isa? port "IO_COM1" tty irq 4 vector siointr 1112365e64fSRodney W. Grimesdevice sio1 at isa? port "IO_COM2" tty irq 3 vector siointr 1122365e64fSRodney W. Grimesdevice sio2 at isa? port "IO_COM3" tty irq 5 vector siointr 1132365e64fSRodney W. Grimesdevice sio3 at isa? port "IO_COM4" tty irq 9 vector siointr 1142365e64fSRodney W. Grimespseudo-device speaker 1152365e64fSRodney W. Grimes#tw device-driver 1163bb1d96cSRodney W. Grimescontroller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr 1172365e64fSRodney W. Grimescontroller wd0 at isa? port "IO_WD1" bio irq 14 vector wdintr 1182365e64fSRodney W. Grimesdisk wd0 at wd0 drive 0 1192365e64fSRodney W. Grimesdisk wd1 at wd0 drive 1 1202365e64fSRodney W. Grimesdevice wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 1212365e64fSRodney W. Grimes 12235686319SJordan K. Hubbard# Various sound card drivers. 123dd442d34SJordan K. Hubbard# See /sys/i386/doc/sound.doc for more information. 12435686319SJordan K. Hubbarddevice snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr 12535686319SJordan K. Hubbarddevice snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr 12635686319SJordan K. Hubbarddevice snd3 at isa? port 0x388 irq 12 drq 3 vector pasintr 127dd442d34SJordan K. Hubbarddevice snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr 128dd442d34SJordan K. Hubbarddevice snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr 129ce551cceSJordan K. Hubbard# 1302365e64fSRodney W. Grimes# 1312365e64fSRodney W. Grimes# options that have not been resolved yet 1322365e64fSRodney W. Grimes# 1332365e64fSRodney W. Grimespseudo-device log 134