[unix-history] / sys / i386 / conf / LINT

#
# LINT -- config file for checking all the sources, tries to pull in
#         as much of the source tree as it can.
#
#	This kernel is NOT MEANT to be runnable!
#
#	$Id: LINT,v 1.41 1994/01/17 05:45:26 rgrimes Exp $
#

machine		"i386"
cpu		"I386_CPU"
cpu		"I486_CPU"
ident		LINT
timezone	8 dst
maxusers	10
maxfdescs	2048			#Max file descriptors per process
options		MATH_EMULATE		#Support for x87 emulation

config		"386bsd"	root on wd0 swap on wd0 and sd0 dumps on wd0

#
# options that appear as inline #ifdef's
#
options		"COM_BIDIR"		#Bidirectional support in sys/isa/sio.c
options		"COM_MULTIPORT"		#Multiport support in sys/isa/sio.c
options		"COMPAT_43"		#compatible with BSD 4.3
options		"SYMTAB_SPACE=104705"	#This kernel needs LOTS of symtable
options		GATEWAY			#internetwork gateway
options		KTRACE			#kernel tracing
options		"NCONS=8"		#number of syscons virtual consoles
options		"FAT_CURSOR"		#block cursor in syscons or pccons
options		"STAR_SAVER"		#syscons "stars" screen saver
options		"SNAKE_SAVER"		#syscons "snake" screen saver
options		"TCP_COMPAT_42"		#tcp/ip compatible with 4.2
					# ^^^ NOT RECOMMENDED FOR NORMAL USE
options		UCONSOLE		#x console support
options		XSERVER			#xserver
options		DECBIT			#here because clnp.h wanted it here
					#support for CLNP ``congestion 
					#experienced'' bit in ISO-TP
options		TROLL			#CLNP network error simulator
options		ICMPPRINTFS		#ICMP packet dump by printf()
options		NSERRPRINTFS		#ditto for XNS Error protocol
					#^^above three NOT RECOMMENTED
options		FASTLINKS		#support for fast symbolic links
options		MACHVMCOMPAT		#support for Mach-style vm calls
options		IPBROADCASTECHO=1	#send reply to broadcast pings
options		IPMASKAGENT=1		#send reply to icmp mask requests
options		TPCONS			#support X.25 network-layer service

#
# options that are in sys/conf/files
#
pseudo-device	bpfilter	4	#berkeley packet filter
options		CCITT
device		cd0	#Only need one of these, the code dynamically grows
device		ch0
pseudo-device	ddb
pseudo-device	devpager
options		EON
pseudo-device	ether
options		FIFO
#pseudo-device	imp
options		INET			#Internet communications protocols
options		ISO
options		ISOFS			#ISO 9660 File System
pseudo-device	loop
options		MFS			#Memory File System
options		NFS			#Network File System
options		NS			#Xerox NS communications protocols
options		NSIP			#XNS over IP
options		PCFS			#PC (MSDOS) File System
#options		PROCFS			#Proc File System
pseudo-device	ppp	2
pseudo-device	pty	4
options		QUOTA			#enable disk quotas
options		RMP			#HP remote maint protocol
controller	scbus0
device		sd0
device		sd1
device		sd2
device		sd3
pseudo-device	sl	2
device		st0
device		st1
pseudo-device	swappager
options         SYSVIPC                 #define if have any SYSV mechanisms
options		SYSVSHM
options		"SHMMAXPGS=64"		# 256Kb of sharable memory
options         SYSVSEM
options         SYSVMSG
#pseudo-device	tb			#tablet line discipline.
options		TPIP			# ISO TP class 4 over IP
#pseudo-device	tun
device		uk0			#unknown scsi devices
pseudo-device	vnodepager

#
# options that are in sys/i386/conf/files.i386
# 
#This is needed here so the isa? below will work
controller	isa0

# driver for the Adaptec 154x SCSI cards.
controller	aha0	at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
# driver for the Adaptec 174x SCSI cards.
controller	ahb0	at isa? bio irq 11 vector ahbintr
# driver for the Bustek 742.
controller	bt0	at isa? port "IO_BT0" bio irq 12  vector btintr
# driver for the Seagate ST01/ST02 card, not yet finished.
controller	sg0	at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector sgintr
device		com0	at isa? port "IO_COM1" tty irq 4 vector comintr
device		com1	at isa? port "IO_COM2" tty irq 3 vector comintr
device		com2	at isa? port "IO_COM3" tty irq 5 vector comintr
device		com3	at isa? port "IO_COM4" tty irq 9 vector comintr
#dcfclk	device-driver
controller	fd0	at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
disk		fd0	at fd0 drive 0
disk		fd1	at fd0 drive 1
# driver for the Western Digital and SMCC WD80xx cards, for the Novell
# NE1000/200 card and the 3COM 3C503 card.
device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
# driver for the AT&T Starlan card.
device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
# driver for the Etherlink III ( 3C509 ) card, beta version.
device ep0 at isa? port 0x300 net irq 10 vector epintr
#special cased above:
#controller	isa0
device		lpa0	at isa? port "IO_LPT1" tty
device		lpa1	at isa? port "IO_LPT2" tty
device		lpt0	at isa? port "IO_LPT3" tty irq 7 vector lptintr
device		mcd0	at isa? port 0x300 bio irq 10 vector mcdintr
device		mse0	at isa? port 0x23c tty irq 5 vector mseintr
device		npx0	at isa? port "IO_NPX" irq 13 vector npxintr
device		pc0	at isa? port "IO_KBD" tty irq 1 vector pcrint
#only one of pc0 or sc0 allowed
#device		sc0	at isa? port "IO_KBD" tty irq 1 vector scintr
device		sio0	at isa? port "IO_COM1" tty irq 4 vector siointr
device		sio1	at isa? port "IO_COM2" tty irq 3 vector siointr
device		sio2	at isa? port "IO_COM3" tty irq 5 vector siointr
device		sio3	at isa? port "IO_COM4" tty irq 9 vector siointr
pseudo-device	speaker
#tw	device-driver
controller	uha0	at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
controller	wdc0	at isa? port "IO_WD1" bio irq 14 vector wdintr
disk		wd0	at wdc0 drive 0
disk		wd1	at wdc0 drive 1
controller	wdc1	at isa? port "IO_WD2" bio irq 15 vector wdintr
disk		wd2	at wdc1 drive 0
disk		wd3	at wdc1 drive 1
device		wt0	at isa? port 0x300 bio irq 5 drq 1 vector wtintr

# Various sound card drivers.
# See /sys/i386/doc/sound.doc for more information.
device snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr
device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
device snd3 at isa? port 0x388 irq 12 drq 3 vector pasintr
device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
device snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr
#
#
# options that have not been resolved yet
#
pseudo-device	log
Commit	Line	Data
1f1e5ce6 RG	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	#
24fd64ab	7	# $Id: LINT,v 1.41 1994/01/17 05:45:26 rgrimes Exp $
1f1e5ce6 RG	8	#
	9
	10	machine "i386"
a2c5b132 RG	11	cpu "I386_CPU"
a2c5b132 RG	12	cpu "I486_CPU"
1f1e5ce6 RG	13	ident LINT
	14	timezone 8 dst
	15	maxusers 10
39393c2b	16	maxfdescs 2048 #Max file descriptors per process
130a018b	17	options MATH_EMULATE #Support for x87 emulation
1f1e5ce6	18
9e53314e	19	config "386bsd" root on wd0 swap on wd0 and sd0 dumps on wd0
1f1e5ce6 RG	20
	21	#
	22	# options that appear as inline #ifdef's
	23	#
	24	options "COM_BIDIR" #Bidirectional support in sys/isa/sio.c
	25	options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
	26	options "COMPAT_43" #compatible with BSD 4.3
6cc28dc9	27	options "SYMTAB_SPACE=104705" #This kernel needs LOTS of symtable
1f1e5ce6 RG	28	options GATEWAY #internetwork gateway
	29	options KTRACE #kernel tracing
	30	options "NCONS=8" #number of syscons virtual consoles
2fe35d04	31	options "FAT_CURSOR" #block cursor in syscons or pccons
a4f49ca3 JH	32	options "STAR_SAVER" #syscons "stars" screen saver
a4f49ca3 JH	33	options "SNAKE_SAVER" #syscons "snake" screen saver
1f1e5ce6	34	options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
1e423cd9	35	# ^^^ NOT RECOMMENDED FOR NORMAL USE
1f1e5ce6 RG	36	options UCONSOLE #x console support
1f1e5ce6 RG	37	options XSERVER #xserver
1e423cd9 GW	38	options DECBIT #here because clnp.h wanted it here
	39	#support for CLNP ``congestion
	40	#experienced'' bit in ISO-TP
	41	options TROLL #CLNP network error simulator
	42	options ICMPPRINTFS #ICMP packet dump by printf()
	43	options NSERRPRINTFS #ditto for XNS Error protocol
6ab0629c	44	#^^above three NOT RECOMMENTED
1e423cd9	45	options FASTLINKS #support for fast symbolic links
46668d23	46	options MACHVMCOMPAT #support for Mach-style vm calls
53b8451c GW	47	options IPBROADCASTECHO=1 #send reply to broadcast pings
53b8451c GW	48	options IPMASKAGENT=1 #send reply to icmp mask requests
6cc28dc9	49	options TPCONS #support X.25 network-layer service
1f1e5ce6 RG	50
	51	#
	52	# options that are in sys/conf/files
	53	#
71ecb002	54	pseudo-device bpfilter 4 #berkeley packet filter
1f1e5ce6	55	options CCITT
8ece3c16	56	device cd0 #Only need one of these, the code dynamically grows
1f1e5ce6 RG	57	device ch0
	58	pseudo-device ddb
	59	pseudo-device devpager
	60	options EON
	61	pseudo-device ether
	62	options FIFO
	63	#pseudo-device imp
	64	options INET #Internet communications protocols
	65	options ISO
	66	options ISOFS #ISO 9660 File System
	67	pseudo-device loop
839b948d	68	options MFS #Memory File System
1f1e5ce6	69	options NFS #Network File System
57ed359e	70	options NS #Xerox NS communications protocols
839b948d	71	options NSIP #XNS over IP
1f1e5ce6	72	options PCFS #PC (MSDOS) File System
fde1aeb2	73	#options PROCFS #Proc File System
8b3438a6	74	pseudo-device ppp 2
1f1e5ce6 RG	75	pseudo-device pty 4
1f1e5ce6 RG	76	options QUOTA #enable disk quotas
dec69c36	77	options RMP #HP remote maint protocol
1f1e5ce6 RG	78	controller scbus0
	79	device sd0
	80	device sd1
	81	device sd2
	82	device sd3
	83	pseudo-device sl 2
	84	device st0
	85	device st1
	86	pseudo-device swappager
24fd64ab	87	options SYSVIPC #define if have any SYSV mechanisms
216f97f4 RG	88	options SYSVSHM
216f97f4 RG	89	options "SHMMAXPGS=64" # 256Kb of sharable memory
24fd64ab DG	90	options SYSVSEM
24fd64ab DG	91	options SYSVMSG
1f1e5ce6	92	#pseudo-device tb #tablet line discipline.
839b948d	93	options TPIP # ISO TP class 4 over IP
1f1e5ce6	94	#pseudo-device tun
519fb2b7	95	device uk0 #unknown scsi devices
1f1e5ce6 RG	96	pseudo-device vnodepager
	97
	98	#
	99	# options that are in sys/i386/conf/files.i386
	100	#
	101	#This is needed here so the isa? below will work
	102	controller isa0
	103
03e38977	104	# driver for the Adaptec 154x SCSI cards.
1f1e5ce6	105	controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
03e38977	106	# driver for the Adaptec 174x SCSI cards.
1f1e5ce6	107	controller ahb0 at isa? bio irq 11 vector ahbintr
03e38977	108	# driver for the Bustek 742.
1f1e5ce6	109	controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
03e38977 AS	110	# driver for the Seagate ST01/ST02 card, not yet finished.
03e38977 AS	111	controller sg0 at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector sgintr
1f1e5ce6 RG	112	device com0 at isa? port "IO_COM1" tty irq 4 vector comintr
	113	device com1 at isa? port "IO_COM2" tty irq 3 vector comintr
	114	device com2 at isa? port "IO_COM3" tty irq 5 vector comintr
	115	device com3 at isa? port "IO_COM4" tty irq 9 vector comintr
	116	#dcfclk device-driver
	117	controller fd0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
	118	disk fd0 at fd0 drive 0
	119	disk fd1 at fd0 drive 1
03e38977 AS	120	# driver for the Western Digital and SMCC WD80xx cards, for the Novell
03e38977 AS	121	# NE1000/200 card and the 3COM 3C503 card.
e9e0cc57	122	device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
03e38977	123	# driver for the AT&T Starlan card.
a3d6155a	124	device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
03e38977	125	#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
1f1e5ce6	126	device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
1f1e5ce6	127	#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
967f8144 AS	128	# driver for the Etherlink III ( 3C509 ) card, beta version.
967f8144 AS	129	device ep0 at isa? port 0x300 net irq 10 vector epintr
1f1e5ce6 RG	130	#special cased above:
	131	#controller isa0
	132	device lpa0 at isa? port "IO_LPT1" tty
	133	device lpa1 at isa? port "IO_LPT2" tty
	134	device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
a6d79117	135	device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
47fb6d32	136	device mse0 at isa? port 0x23c tty irq 5 vector mseintr
1f1e5ce6 RG	137	device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
	138	device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
	139	#only one of pc0 or sc0 allowed
	140	#device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
	141	device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
	142	device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
	143	device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
	144	device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
	145	pseudo-device speaker
	146	#tw device-driver
fd5d70df	147	controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
046ca789 NW	148	controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
	149	disk wd0 at wdc0 drive 0
	150	disk wd1 at wdc0 drive 1
	151	controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
	152	disk wd2 at wdc1 drive 0
	153	disk wd3 at wdc1 drive 1
1f1e5ce6 RG	154	device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
1f1e5ce6 RG	155
9cabf601	156	# Various sound card drivers.
468fcfa8	157	# See /sys/i386/doc/sound.doc for more information.
9cabf601 JH	158	device snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr
	159	device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
	160	device snd3 at isa? port 0x388 irq 12 drq 3 vector pasintr
468fcfa8 JH	161	device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
468fcfa8 JH	162	device snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr
584cbeb5	163	#
1f1e5ce6 RG	164	#
	165	# options that have not been resolved yet
	166	#
	167	pseudo-device log