NOTES (1223) | NOTES (1259) |
---|---|
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.53 1994/02/09 05:35:57 nate Exp $ | 7# $Id: LINT,v 1.54 1994/02/27 21:53:53 phk Exp $ |
8# 9 10machine "i386" 11cpu "I386_CPU" 12cpu "I486_CPU" 13ident LINT 14timezone 8 dst 15maxusers 10 --- 37 unchanged lines hidden (view full) --- 53options IPBROADCASTECHO=1 #send reply to broadcast pings 54options IPMASKAGENT=1 #send reply to icmp mask requests 55options TPCONS #support X.25 network-layer service 56 57options EXCLUDE_CHIP_MIDI # \ sound driver options 58options "EXCLUDE_MPU401" # \ exclude specified 59options EXCLUDE_GUS # / device or chip 60options EXCLUDE_SBPRO # / from driver | 8# 9 10machine "i386" 11cpu "I386_CPU" 12cpu "I486_CPU" 13ident LINT 14timezone 8 dst 15maxusers 10 --- 37 unchanged lines hidden (view full) --- 53options IPBROADCASTECHO=1 #send reply to broadcast pings 54options IPMASKAGENT=1 #send reply to icmp mask requests 55options TPCONS #support X.25 network-layer service 56 57options EXCLUDE_CHIP_MIDI # \ sound driver options 58options "EXCLUDE_MPU401" # \ exclude specified 59options EXCLUDE_GUS # / device or chip 60options EXCLUDE_SBPRO # / from driver |
61options EXCLUDE_SB16 # | 62options EXCLUDE_PAS # | |
|
61 62options USER_LDT #allow user-level control of i386 ldt 63 64# 65# options that are in sys/conf/files 66# 67pseudo-device bpfilter 4 #berkeley packet filter 68options CCITT --- 94 unchanged lines hidden (view full) --- 163disk wd2 at wdc1 drive 0 164disk wd3 at wdc1 drive 1 165device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 166 167# Various sound card drivers. 168# See /sys/i386/doc/sound.doc for more information. 169device snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr 170device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr | 63 64options USER_LDT #allow user-level control of i386 ldt 65 66# 67# options that are in sys/conf/files 68# 69pseudo-device bpfilter 4 #berkeley packet filter 70options CCITT --- 94 unchanged lines hidden (view full) --- 165disk wd2 at wdc1 drive 0 166disk wd3 at wdc1 drive 1 167device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr 168 169# Various sound card drivers. 170# See /sys/i386/doc/sound.doc for more information. 171device snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr 172device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr |
171device snd3 at isa? port 0x388 irq 12 drq 3 vector pasintr | 173device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr |
172device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr | 174device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr |
175device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr 176device snd7 at isa? port 0x300 irq 7 drq 0 vector sbintr |
|
173device snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr 174# 175# 176# options that have not been resolved yet 177# 178pseudo-device log | 177device snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr 178# 179# 180# options that have not been resolved yet 181# 182pseudo-device log |