[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.78 1994/06/13 02:48:49 sean Exp $
#

machine		"i386"
cpu		"I386_CPU"
cpu		"I486_CPU"
cpu		"I586_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=119000"	#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
# driver for the Seagate ST01/ST02 or Future Domain 950 card, works
controller	sea0	at isa? bio irq 5 iomem 0xc8000 iosiz 0x2000 vector seaintr
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
# IBM/National PCMCIA ethernet cards
device ze0 at isa? port 0x300 net irq 5 iomem 0xd8000 vector zeintr

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