[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.74 1994/06/02 06:45:01 jkh 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

# Do not use in binary distributions
#options        GPL_MATH_EMULATE        #Support for x87 emualtion via
                                        #new math emulator 

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

#
# options that appear as inline #ifdef's
#
options		"COM_MULTIPORT"		#Multiport support in sys/isa/sio.c

options		"COMPAT_43"		#compatible with BSD 4.3
options		"SYMTAB_SPACE=113498"	#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	ALLOW_CONFLICT_IOADDR	#no IO addr conflict checks (PS/2 mice)
#options	ALLOW_CONFLICT_IRQ	#no IRQ conflict checks (mport serial)

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		USER_LDT		#allow user-level control of i386 ldt

# See /sys/i386/doc/sound.doc for information about EXCLUDE options for
#  the sound drivers.

# Multicast support.
options		MULTICAST		# Multicast code
options		MROUTING		# Multicast routing

#
# 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
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		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
controller	fdc0	at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
disk		fd0	at fdc0 drive 0
disk		fd1	at fdc0 drive 1
tape		ft0	at fdc0 drive 2

# driver for the Western Digital and SMCC WD80xx cards, for the Novell
# NE1000/2000 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
#driver for the 3c501
device el0 at isa? port 0x300 net irq 9 vector elintr

#special cased above:
#controller	isa0

# interruptless parallel printer port driver.  NOW OBSOLETE, DON'T USE.
#device		lpa0	at isa? port "IO_LPT1" tty
#device		lpa1	at isa? port "IO_LPT2" tty
# interrupt driven parallel printer port driver
device		lpt0	at isa? port "IO_LPT3" tty irq 7 vector lptintr
# Driver for Mitsumi CD-ROM players
device		mcd0	at isa? port 0x300 bio irq 10 vector mcdintr
# Driver for Logitech and ATI inport bus mice
device		mse0	at isa? port 0x23c tty irq 5 vector mseintr
device		npx0	at isa? port "IO_NPX" irq 13 vector npxintr
#only one of pc0 or sc0 allowed
#device		pc0	at isa? port "IO_KBD" tty irq 1 vector pcrint
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
#PS/2 mouse driver (must follow pc0 or sc0 if enabled).  Also enable
#ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
#device		psm0	at isa? port "IO_KBD" tty irq 12 vector psmintr

pseudo-device	speaker
device         	tw0     at isa? port 0x278 tty irq 5 vector twintr

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/doc/sound.doc for more information.
device snd5 at isa? port 0x330 irq 6 vector mpuintr
device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
device snd7 at isa? port 0x300
device snd1 at isa? port 0x388

# The digital speaker driver (/dev/pcaudio).
device pca0 at isa? tty

# options that have not been resolved yet
pseudo-device	log
Commit	Line	Data
1f1e5ce6 RG	1	#
1f1e5ce6 RG	2	# LINT -- config file for checking all the sources, tries to pull in
b7f8d840	3	# as much of the source tree as it can.
1f1e5ce6 RG	4	#
	5	# This kernel is NOT MEANT to be runnable!
	6	#
b434efa8	7	# $Id: LINT,v 1.74 1994/06/02 06:45:01 jkh 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
b9a694d3 GCI	19	# Do not use in binary distributions
	20	#options GPL_MATH_EMULATE #Support for x87 emualtion via
	21	#new math emulator
	22
9e53314e	23	config "386bsd" root on wd0 swap on wd0 and sd0 dumps on wd0
1f1e5ce6 RG	24
	25	#
	26	# options that appear as inline #ifdef's
	27	#
1f1e5ce6	28	options "COM_MULTIPORT" #Multiport support in sys/isa/sio.c
a0e79e82	29
1f1e5ce6	30	options "COMPAT_43" #compatible with BSD 4.3
70b7ffbf	31	options "SYMTAB_SPACE=113498" #This kernel needs LOTS of symtable
1f1e5ce6 RG	32	options GATEWAY #internetwork gateway
1f1e5ce6 RG	33	options KTRACE #kernel tracing
3adc34a4	34
1f1e5ce6	35	options "NCONS=8" #number of syscons virtual consoles
2fe35d04	36	options "FAT_CURSOR" #block cursor in syscons or pccons
3adc34a4	37
7da46b3c JH	38	#options ALLOW_CONFLICT_IOADDR #no IO addr conflict checks (PS/2 mice)
	39	#options ALLOW_CONFLICT_IRQ #no IRQ conflict checks (mport serial)
	40
1f1e5ce6	41	options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
1e423cd9	42	# ^^^ NOT RECOMMENDED FOR NORMAL USE
1f1e5ce6 RG	43	options UCONSOLE #x console support
1f1e5ce6 RG	44	options XSERVER #xserver
1e423cd9 GW	45	options DECBIT #here because clnp.h wanted it here
	46	#support for CLNP ``congestion
	47	#experienced'' bit in ISO-TP
	48	options TROLL #CLNP network error simulator
	49	options ICMPPRINTFS #ICMP packet dump by printf()
	50	options NSERRPRINTFS #ditto for XNS Error protocol
6ab0629c	51	#^^above three NOT RECOMMENTED
1e423cd9	52	options FASTLINKS #support for fast symbolic links
46668d23	53	options MACHVMCOMPAT #support for Mach-style vm calls
53b8451c GW	54	options IPBROADCASTECHO=1 #send reply to broadcast pings
53b8451c GW	55	options IPMASKAGENT=1 #send reply to icmp mask requests
6cc28dc9	56	options TPCONS #support X.25 network-layer service
888d0c79 DG	57	options USER_LDT #allow user-level control of i386 ldt
888d0c79 DG	58
e1411270 SW	59	# See /sys/i386/doc/sound.doc for information about EXCLUDE options for
	60	# the sound drivers.
	61
7d72d106	62	# Multicast support.
4cf615e1 JH	63	options MULTICAST # Multicast code
	64	options MROUTING # Multicast routing
	65
1f1e5ce6 RG	66	#
	67	# options that are in sys/conf/files
	68	#
71ecb002	69	pseudo-device bpfilter 4 #berkeley packet filter
1f1e5ce6	70	options CCITT
8ece3c16	71	device cd0 #Only need one of these, the code dynamically grows
1f1e5ce6 RG	72	device ch0
	73	pseudo-device ddb
	74	pseudo-device devpager
	75	options EON
	76	pseudo-device ether
	77	options FIFO
	78	#pseudo-device imp
	79	options INET #Internet communications protocols
	80	options ISO
	81	options ISOFS #ISO 9660 File System
	82	pseudo-device loop
839b948d	83	options MFS #Memory File System
1f1e5ce6	84	options NFS #Network File System
57ed359e	85	options NS #Xerox NS communications protocols
839b948d	86	options NSIP #XNS over IP
1f1e5ce6	87	options PCFS #PC (MSDOS) File System
8b3438a6	88	pseudo-device ppp 2
1f1e5ce6 RG	89	pseudo-device pty 4
1f1e5ce6 RG	90	options QUOTA #enable disk quotas
dec69c36	91	options RMP #HP remote maint protocol
1f1e5ce6 RG	92	controller scbus0
	93	device sd0
	94	device sd1
	95	device sd2
	96	device sd3
	97	pseudo-device sl 2
	98	device st0
	99	device st1
	100	pseudo-device swappager
216f97f4 RG	101	options SYSVSHM
216f97f4 RG	102	options "SHMMAXPGS=64" # 256Kb of sharable memory
b7f8d840 RG	103	options SYSVSEM
b7f8d840 RG	104	options SYSVMSG
1f1e5ce6	105	#pseudo-device tb #tablet line discipline.
839b948d	106	options TPIP # ISO TP class 4 over IP
1f1e5ce6	107	#pseudo-device tun
519fb2b7	108	device uk0 #unknown scsi devices
1f1e5ce6 RG	109	pseudo-device vnodepager
	110
	111	#
	112	# options that are in sys/i386/conf/files.i386
	113	#
	114	#This is needed here so the isa? below will work
	115	controller isa0
	116
03e38977	117	# driver for the Adaptec 154x SCSI cards.
1f1e5ce6	118	controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
03e38977	119	# driver for the Adaptec 174x SCSI cards.
1f1e5ce6	120	controller ahb0 at isa? bio irq 11 vector ahbintr
03e38977	121	# driver for the Bustek 742.
b7f8d840	122	controller bt0 at isa? port "IO_BT0" bio irq 12 vector btintr
03e38977	123	# driver for the Seagate ST01/ST02 card, not yet finished.
b7f8d840	124	#controller sg0 at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector sgintr
6ba0aaa3 AM	125	controller fdc0 at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
	126	disk fd0 at fdc0 drive 0
	127	disk fd1 at fdc0 drive 1
	128	tape ft0 at fdc0 drive 2
b2ffc3a6	129
03e38977	130	# driver for the Western Digital and SMCC WD80xx cards, for the Novell
b2ffc3a6	131	# NE1000/2000 card and the 3COM 3C503 card.
e9e0cc57	132	device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
03e38977	133	# driver for the AT&T Starlan card.
a3d6155a	134	device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
03e38977	135	#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
1f1e5ce6	136	device is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
1f1e5ce6	137	#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
967f8144 AS	138	# driver for the Etherlink III ( 3C509 ) card, beta version.
967f8144 AS	139	device ep0 at isa? port 0x300 net irq 10 vector epintr
b2ffc3a6 DG	140	#driver for the 3c501
	141	device el0 at isa? port 0x300 net irq 9 vector elintr
	142
1f1e5ce6 RG	143	#special cased above:
1f1e5ce6 RG	144	#controller isa0
9f2bdc07 JH	145
	146	# interruptless parallel printer port driver. NOW OBSOLETE, DON'T USE.
	147	#device lpa0 at isa? port "IO_LPT1" tty
	148	#device lpa1 at isa? port "IO_LPT2" tty
3fa7cbac	149	# interrupt driven parallel printer port driver
1f1e5ce6	150	device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
7da46b3c	151	# Driver for Mitsumi CD-ROM players
9e85cc83	152	device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
3fa7cbac	153	# Driver for Logitech and ATI inport bus mice
47fb6d32	154	device mse0 at isa? port 0x23c tty irq 5 vector mseintr
1f1e5ce6	155	device npx0 at isa? port "IO_NPX" irq 13 vector npxintr
1f1e5ce6	156	#only one of pc0 or sc0 allowed
9f2bdc07 JH	157	#device pc0 at isa? port "IO_KBD" tty irq 1 vector pcrint
9f2bdc07 JH	158	device sc0 at isa? port "IO_KBD" tty irq 1 vector scintr
1f1e5ce6 RG	159	device sio0 at isa? port "IO_COM1" tty irq 4 vector siointr
	160	device sio1 at isa? port "IO_COM2" tty irq 3 vector siointr
	161	device sio2 at isa? port "IO_COM3" tty irq 5 vector siointr
	162	device sio3 at isa? port "IO_COM4" tty irq 9 vector siointr
7da46b3c JH	163	#PS/2 mouse driver (must follow pc0 or sc0 if enabled). Also enable
7da46b3c JH	164	#ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
313a2617	165	#device psm0 at isa? port "IO_KBD" tty irq 12 vector psmintr
7da46b3c	166
1f1e5ce6	167	pseudo-device speaker
f6684bda PR	168	device tw0 at isa? port 0x278 tty irq 5 vector twintr
f6684bda PR	169
fd5d70df	170	controller uha0 at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
046ca789 NW	171	controller wdc0 at isa? port "IO_WD1" bio irq 14 vector wdintr
	172	disk wd0 at wdc0 drive 0
	173	disk wd1 at wdc0 drive 1
	174	controller wdc1 at isa? port "IO_WD2" bio irq 15 vector wdintr
	175	disk wd2 at wdc1 drive 0
	176	disk wd3 at wdc1 drive 1
1f1e5ce6 RG	177	device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
1f1e5ce6 RG	178
9cabf601	179	# Various sound card drivers.
5f6afc8c	180	# See /sys/doc/sound.doc for more information.
f8e9379d	181	device snd5 at isa? port 0x330 irq 6 vector mpuintr
9cabf601	182	device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
42c9a215	183	device snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
468fcfa8	184	device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
42c9a215	185	device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
a5e11c27	186	device snd7 at isa? port 0x300
f8e9379d	187	device snd1 at isa? port 0x388
2b4bcb9e	188
336b0152	189	# The digital speaker driver (/dev/pcaudio).
2b4bcb9e	190	device pca0 at isa? tty
70b7ffbf	191
1f1e5ce6	192	# options that have not been resolved yet
1f1e5ce6	193	pseudo-device log