1# 2# LINT -- config file for checking all the sources, tries to pull in 3# as much of the source tree as it can. 4# 5# This kernel is NOT MEANT to be runnable! 6#
| 1# 2# LINT -- config file for checking all the sources, tries to pull in 3# as much of the source tree as it can. 4# 5# This kernel is NOT MEANT to be runnable! 6#
|
7# $Id: LINT,v 1.2 1993/08/26 17:55:58 rgrimes Exp $
| 7# $Id: LINT,v 1.3 1993/08/27 02:10:12 rgrimes Exp $
|
8# 9 10machine "i386" 11cpu "i386" 12ident LINT 13timezone 8 dst 14maxusers 10 15maxfdescs 2048 #Max file descriptors per process
| 8# 9 10machine "i386" 11cpu "i386" 12ident LINT 13timezone 8 dst 14maxusers 10 15maxfdescs 2048 #Max file descriptors per process
|
| 16options MATH_EMULATE #Support for x87 emulation
|
16 17config "386bsd" root on wd0 swap on wd0 and sd0 18 19# 20# options that appear as inline #ifdef's 21# 22options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c 23options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c 24options "COMPAT_43" #compatible with BSD 4.3 25options GATEWAY #internetwork gateway 26options KTRACE #kernel tracing 27options "NCONS=8" #number of syscons virtual consoles 28options "TCP_COMPAT_42" #tcp/ip compatible with 4.2 29options UCONSOLE #x console support 30options XSERVER #xserver 31 32# 33# options that are in sys/conf/files 34# 35pseudo-device bpfilter #berkeley packet filter 36options CCITT 37device cd0 #scsi cdrom driver 38device cd1 39device ch0 40pseudo-device ddb 41pseudo-device devpager 42options EON 43pseudo-device ether 44options FIFO 45#pseudo-device imp 46options INET #Internet communications protocols 47options ISO 48options ISOFS #ISO 9660 File System 49pseudo-device loop 50options MFS #Memroy File System 51options NFS #Network File System 52#options NS #Xerox NS communications protocols 53options PCFS #PC (MSDOS) File System 54pseudo-device ppp 2 55pseudo-device pty 4 56options QUOTA #enable disk quotas 57controller scbus0 58device sd0 59device sd1 60device sd2 61device sd3 62pseudo-device sl 2 63device st0 64device st1 65pseudo-device swappager 66#options SYSVSHM 67#pseudo-device tb #tablet line discipline. 68pseudo-device tpip 69#pseudo-device tun 70pseudo-device vnodepager 71 72# 73# options that are in sys/i386/conf/files.i386 74# 75#This is needed here so the isa? below will work 76controller isa0 77 78controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr 79controller ahb0 at isa? bio irq 11 vector ahbintr 80controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr 81device com0 at isa? port "IO_COM1" tty irq 4 vector comintr 82device com1 at isa? port "IO_COM2" tty irq 3 vector comintr 83device com2 at isa? port "IO_COM3" tty irq 5 vector comintr 84device com3 at isa? port "IO_COM4" tty irq 9 vector comintr 85#dcfclk device-driver 86controller fd0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr 87disk fd0 at fd0 drive 0 88disk fd1 at fd0 drive 1 89device ec0 at isa? port 0x250 net irq 9 iomem 0xd8000 iosiz 8192 vector ecintr 90device ed0 at isa? port 0x280 net irq 9 iomem 0xd0000 vector edintr 91device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr 92device ne0 at isa? port 0x300 net irq 9 vector neintr 93#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr 94device we0 at isa? port 0x280 net irq 9 iomem 0xd0000 iosiz 8192 vector weintr 95#special cased above: 96#controller isa0 97device lpa0 at isa? port "IO_LPT1" tty 98device lpa1 at isa? port "IO_LPT2" tty 99device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr 100#mse device-driver 101device npx0 at isa? port "IO_NPX" irq 13 vector npxintr 102device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint 103#only one of pc0 or sc0 allowed 104#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr 105device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr 106device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr 107device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr 108device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr 109pseudo-device speaker 110#tw device-driver 111controller uha0 at isa? port "IO_UHA0" bio irq 11 drq 5 vector uhaintr 112controller wd0 at isa? port "IO_WD1" bio irq 14 vector wdintr 113disk wd0 at wd0 drive 0 114disk wd1 at wd0 drive 1 115device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 116 117# 118# options that have not been resolved yet 119# 120pseudo-device log
| 17 18config "386bsd" root on wd0 swap on wd0 and sd0 19 20# 21# options that appear as inline #ifdef's 22# 23options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c 24options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c 25options "COMPAT_43" #compatible with BSD 4.3 26options GATEWAY #internetwork gateway 27options KTRACE #kernel tracing 28options "NCONS=8" #number of syscons virtual consoles 29options "TCP_COMPAT_42" #tcp/ip compatible with 4.2 30options UCONSOLE #x console support 31options XSERVER #xserver 32 33# 34# options that are in sys/conf/files 35# 36pseudo-device bpfilter #berkeley packet filter 37options CCITT 38device cd0 #scsi cdrom driver 39device cd1 40device ch0 41pseudo-device ddb 42pseudo-device devpager 43options EON 44pseudo-device ether 45options FIFO 46#pseudo-device imp 47options INET #Internet communications protocols 48options ISO 49options ISOFS #ISO 9660 File System 50pseudo-device loop 51options MFS #Memroy File System 52options NFS #Network File System 53#options NS #Xerox NS communications protocols 54options PCFS #PC (MSDOS) File System 55pseudo-device ppp 2 56pseudo-device pty 4 57options QUOTA #enable disk quotas 58controller scbus0 59device sd0 60device sd1 61device sd2 62device sd3 63pseudo-device sl 2 64device st0 65device st1 66pseudo-device swappager 67#options SYSVSHM 68#pseudo-device tb #tablet line discipline. 69pseudo-device tpip 70#pseudo-device tun 71pseudo-device vnodepager 72 73# 74# options that are in sys/i386/conf/files.i386 75# 76#This is needed here so the isa? below will work 77controller isa0 78 79controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr 80controller ahb0 at isa? bio irq 11 vector ahbintr 81controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr 82device com0 at isa? port "IO_COM1" tty irq 4 vector comintr 83device com1 at isa? port "IO_COM2" tty irq 3 vector comintr 84device com2 at isa? port "IO_COM3" tty irq 5 vector comintr 85device com3 at isa? port "IO_COM4" tty irq 9 vector comintr 86#dcfclk device-driver 87controller fd0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr 88disk fd0 at fd0 drive 0 89disk fd1 at fd0 drive 1 90device ec0 at isa? port 0x250 net irq 9 iomem 0xd8000 iosiz 8192 vector ecintr 91device ed0 at isa? port 0x280 net irq 9 iomem 0xd0000 vector edintr 92device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr 93device ne0 at isa? port 0x300 net irq 9 vector neintr 94#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr 95device we0 at isa? port 0x280 net irq 9 iomem 0xd0000 iosiz 8192 vector weintr 96#special cased above: 97#controller isa0 98device lpa0 at isa? port "IO_LPT1" tty 99device lpa1 at isa? port "IO_LPT2" tty 100device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr 101#mse device-driver 102device npx0 at isa? port "IO_NPX" irq 13 vector npxintr 103device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint 104#only one of pc0 or sc0 allowed 105#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr 106device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr 107device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr 108device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr 109device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr 110pseudo-device speaker 111#tw device-driver 112controller uha0 at isa? port "IO_UHA0" bio irq 11 drq 5 vector uhaintr 113controller wd0 at isa? port "IO_WD1" bio irq 14 vector wdintr 114disk wd0 at wd0 drive 0 115disk wd1 at wd0 drive 1 116device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 117 118# 119# options that have not been resolved yet 120# 121pseudo-device log
|