NOTES (1259) | NOTES (1260) |
---|---|
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.54 1994/02/27 21:53:53 phk Exp $ | 7# $Id: LINT,v 1.55 1994/03/11 10:31:04 swallace Exp $ |
8# 9 10machine "i386" 11cpu "I386_CPU" 12cpu "I486_CPU" 13ident LINT 14timezone 8 dst 15maxusers 10 --- 32 unchanged lines hidden (view full) --- 48options ICMPPRINTFS #ICMP packet dump by printf() 49options NSERRPRINTFS #ditto for XNS Error protocol 50 #^^above three NOT RECOMMENTED 51options FASTLINKS #support for fast symbolic links 52options MACHVMCOMPAT #support for Mach-style vm calls 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 | 8# 9 10machine "i386" 11cpu "I386_CPU" 12cpu "I486_CPU" 13ident LINT 14timezone 8 dst 15maxusers 10 --- 32 unchanged lines hidden (view full) --- 48options ICMPPRINTFS #ICMP packet dump by printf() 49options NSERRPRINTFS #ditto for XNS Error protocol 50 #^^above three NOT RECOMMENTED 51options FASTLINKS #support for fast symbolic links 52options MACHVMCOMPAT #support for Mach-style vm calls 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 # | 63 | |
64options USER_LDT #allow user-level control of i386 ldt 65 | 56options USER_LDT #allow user-level control of i386 ldt 57 |
58# See /sys/i386/doc/sound.doc for information about EXCLUDE options for 59# the sound drivers. 60 |
|
66# 67# options that are in sys/conf/files 68# 69pseudo-device bpfilter 4 #berkeley packet filter 70options CCITT 71device cd0 #Only need one of these, the code dynamically grows 72device ch0 73pseudo-device ddb --- 109 unchanged lines hidden --- | 61# 62# options that are in sys/conf/files 63# 64pseudo-device bpfilter 4 #berkeley packet filter 65options CCITT 66device cd0 #Only need one of these, the code dynamically grows 67device ch0 68pseudo-device ddb --- 109 unchanged lines hidden --- |