NOTES revision 3064
11590Srgrimes#
21590Srgrimes# LINT -- config file for checking all the sources, tries to pull in
31590Srgrimes#	as much of the source tree as it can.
41590Srgrimes#
51590Srgrimes#	This kernel is NOT MEANT to be runnable!
61590Srgrimes#
71590Srgrimes#	$Id: LINT,v 1.83 1994/09/23 06:22:46 davidg Exp $
81590Srgrimes#
91590Srgrimes
101590Srgrimesmachine		"i386"
111590Srgrimescpu		"I386_CPU"
121590Srgrimescpu		"I486_CPU"
131590Srgrimescpu		"I586_CPU"
141590Srgrimesident		LINT
151590Srgrimesmaxusers	10
161590Srgrimes# maxfdescs	2048			#Max file descriptors per process
171590Srgrimesoptions		MATH_EMULATE		#Support for x87 emulation
181590Srgrimes
191590Srgrimes# Do not use in binary distributions
201590Srgrimes#options        GPL_MATH_EMULATE        #Support for x87 emualtion via
211590Srgrimes                                        #new math emulator 
221590Srgrimes
231590Srgrimesconfig		kernel	root on wd0 swap on wd0 and sd0 dumps on wd0
241590Srgrimes
251590Srgrimes#
261590Srgrimes# options that appear as inline #ifdef's
271590Srgrimes#
281590Srgrimesoptions		"COM_MULTIPORT"		#Multiport support in sys/isa/sio.c
291590Srgrimesoptions         "FIFO_TRIGGER=FIFO_TRIGGER_1"   #Use this fifo value in sio.c
301590Srgrimes
311590Srgrimesoptions		"COMPAT_43"		#compatible with BSD 4.3
321590Srgrimesoptions		"SYMTAB_SPACE=113498"	#This kernel needs LOTS of symtable
331590Srgrimesoptions		GATEWAY			#internetwork gateway
341590Srgrimesoptions		KTRACE			#kernel tracing
351590Srgrimes
361590Srgrimesoptions		"NCONS=8"		#number of syscons virtual consoles
371590Srgrimesoptions		"FAT_CURSOR"		#block cursor in syscons or pccons
381590Srgrimesoptions		HARDFONTS		#load iso8859 fonts instead of
391590Srgrimes					#standard VGA fonts
401590Srgrimes
411590Srgrimes#options	ALLOW_CONFLICT_IOADDR	#no IO addr conflict checks (PS/2 mice)
421590Srgrimes#options	ALLOW_CONFLICT_IRQ	#no IRQ conflict checks (mport serial)
431590Srgrimes
441590Srgrimesoptions		BOUNCE_BUFFERS		#include support for DMA bounce buffers
451590Srgrimes
461590Srgrimesoptions		"TCP_COMPAT_42"		#tcp/ip compatible with 4.2
471590Srgrimes					# ^^^ NOT RECOMMENDED FOR NORMAL USE
481590Srgrimesoptions		UCONSOLE		#x console support
491590Srgrimesoptions		DECBIT			#here because clnp.h wanted it here
501590Srgrimes					#support for CLNP ``congestion 
511590Srgrimes					#experienced'' bit in ISO-TP
521590Srgrimesoptions		TROLL			#CLNP network error simulator
531590Srgrimesoptions		ICMPPRINTFS		#ICMP packet dump by printf()
541590Srgrimesoptions		NSERRPRINTFS		#ditto for XNS Error protocol
551590Srgrimes					#^^above three NOT RECOMMENTED
561590Srgrimesoptions		MACHVMCOMPAT		#support for Mach-style vm calls
571590Srgrimesoptions		IPBROADCASTECHO=1	#send reply to broadcast pings
581590Srgrimesoptions		IPMASKAGENT=1		#send reply to icmp mask requests
591590Srgrimesoptions		TPCONS			#support X.25 network-layer service
601590Srgrimesoptions		USER_LDT		#allow user-level control of i386 ldt
611590Srgrimesoptions		DSI_SOFT_MODEM		#code for DSI Softmodems
621590Srgrimes
631590Srgrimes# See /sys/i386/doc/sound.doc for information about EXCLUDE options for
641590Srgrimes#  the sound drivers.
651590Srgrimes
661590Srgrimes# Multicast support.
671590Srgrimesoptions		MROUTING		# Multicast routing
681590Srgrimes
691590Srgrimes#
701590Srgrimes# options that are in sys/conf/files
711590Srgrimes#
721590Srgrimes
731590Srgrimesoptions		"CD9660"		#ISO 9660 filesystem
741590Srgrimesoptions		FDESC			#File descriptor filesystem
751590Srgrimesoptions		FFS			#Fast filesystem
761590Srgrimesoptions		KERNFS			#Kernel filesystem
771590Srgrimesoptions		LFS			#Log filesystem
781590Srgrimesoptions		MFS			#Memory File System
791590Srgrimesoptions		NFS			#Network File System
801590Srgrimesoptions		MSDOSFS			#MS DOS File System
811590Srgrimesoptions		NULLFS			#NULL filesystem
821590Srgrimesoptions		PORTAL			#Portal filesystem
831590Srgrimesoptions		PROCFS			#Process filesystem
841590Srgrimesoptions		UMAPFS			#UID map filesystem
851590Srgrimesoptions		UNION			#Union filesystem
861590Srgrimes
871590Srgrimespseudo-device	bpfilter	4	#berkeley packet filter
881590Srgrimesoptions		CCITT
891590Srgrimesdevice		cd0	#Only need one of these, the code dynamically grows
901590Srgrimesdevice		ch0
911590Srgrimesoptions		DDB			#Kernel debugger
921590Srgrimesoptions		EON
931590Srgrimespseudo-device	ether
941590Srgrimes#pseudo-device	imp
951590Srgrimesoptions		INET			#Internet communications protocols
961590Srgrimesoptions		ISO
971590Srgrimesoptions		LKM			#Loadable kernel modules
981590Srgrimespseudo-device	loop			#Network loop back device
991590Srgrimesoptions		NS			#Xerox NS communications protocols
1001590Srgrimesoptions		NSIP			#XNS over IP
1011590Srgrimespseudo-device	ppp	2		#Point-to-point protocol
1021590Srgrimespseudo-device	pty	4		#Pseudo ttys
1031590Srgrimesoptions		QUOTA			#enable disk quotas
1041590Srgrimesoptions		RMP			#HP remote maint protocol
1051590Srgrimescontroller	scbus0
1061590Srgrimesdevice		sd0
1071590Srgrimesdevice		sd1
1081590Srgrimesdevice		sd2
1091590Srgrimesdevice		sd3
1101590Srgrimespseudo-device	sl	2
1111590Srgrimesdevice		st0
1121590Srgrimesdevice		st1
1131590Srgrimesoptions		SYSVSHM
1141590Srgrimesoptions		SYSVSEM
1151590Srgrimesoptions		SYSVMSG
1161590Srgrimes#pseudo-device	tb			#tablet line discipline.
1171590Srgrimesoptions		TPIP			# ISO TP class 4 over IP
1181590Srgrimes#pseudo-device	tun
1191590Srgrimesdevice		uk0			#unknown scsi devices
1201590Srgrimes
1211590Srgrimes#
1221590Srgrimes# options that are in sys/i386/conf/files.i386
1231590Srgrimes# 
1241590Srgrimes#This is needed here so the isa? below will work
1251590Srgrimescontroller	isa0
1261590Srgrimes
1271590Srgrimes# driver for the Adaptec 154x SCSI cards.
1281590Srgrimescontroller	aha0	at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
1291590Srgrimes# driver for the Adaptec 174x SCSI cards.
1301590Srgrimescontroller	ahb0	at isa? bio irq 11 vector ahbintr
1311590Srgrimes# driver for the Bustek 742.
1321590Srgrimescontroller	bt0	at isa? port "IO_BT0" bio irq 12 vector btintr
1331590Srgrimes
1341590Srgrimescontroller	fdc0	at isa? port "IO_FD1" bio irq 6 drq 2 vector fdintr
1351590Srgrimesdisk		fd0	at fdc0 drive 0
1361590Srgrimesdisk		fd1	at fdc0 drive 1
1371590Srgrimestape		ft0	at fdc0 drive 2
1381590Srgrimes
1391590Srgrimes# driver for the Western Digital and SMCC WD80xx cards, for the Novell
1401590Srgrimes# NE1000/2000 card and the 3COM 3C503 card.
1411590Srgrimesdevice ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
1421590Srgrimes# driver for the AT&T Starlan card.
1431590Srgrimesdevice ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
1441590Srgrimes#driver for the Isolan AT 4114-0 and the Isolink 4110 ethernet card.
1451590Srgrimesdevice is0 at isa? port 0x280 net irq 10 drq 7 vector isintr
1461590Srgrimes#device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
1471590Srgrimes# driver for the Etherlink III ( 3C509 ) card, beta version.
1481590Srgrimesdevice ep0 at isa? port 0x300 net irq 10 vector epintr
1491590Srgrimes#driver for the 3c501
1501590Srgrimesdevice el0 at isa? port 0x300 net irq 9 vector elintr
1511590Srgrimes
1521590Srgrimes#special cased above:
1531590Srgrimes#controller	isa0
1541590Srgrimes# interruptless parallel printer port driver
1551590Srgrimesdevice		lpa0	at isa? port "IO_LPT1" tty
1561590Srgrimesdevice		lpa1	at isa? port "IO_LPT2" tty
1571590Srgrimes# interrupt driven parallel printer port driver
1581590Srgrimesdevice		lpt0	at isa? port "IO_LPT3" tty irq 7 vector lptintr
1591590Srgrimes# Driver for Mitsumi CD-ROM players
1601590Srgrimesdevice		mcd0	at isa? port 0x300 bio irq 10 vector mcdintr
1611590Srgrimes# Driver for Logitech and ATI inport bus mice
1621590Srgrimesdevice		mse0	at isa? port 0x23c tty irq 5 vector mseintr
1631590Srgrimesdevice		npx0	at isa? port "IO_NPX" irq 13 vector npxintr
1641590Srgrimes# Driver for ProAudioSpectrum SCSI, on cards with NCR 5380 chips.
1651590Srgrimes# The four units correspond to the HW-jumpers.  No intr, No DMA, very slow.
1661590Srgrimesdevice		pas0	at isa? port 0x1f88
1671590Srgrimesdevice		pas1	at isa? port 0x1f84
1681590Srgrimesdevice		pas2	at isa? port 0x1f8c
1691590Srgrimesdevice		pas3	at isa? port 0x1e88
1701590Srgrimes#device		sc0	at isa? port "IO_KBD" tty irq 1 vector scintr
1711590Srgrimesdevice		sio0	at isa? port "IO_COM1" tty irq 4 vector siointr
1721590Srgrimesdevice		sio1	at isa? port "IO_COM2" tty irq 3 vector siointr
1731590Srgrimesdevice		sio2	at isa? port "IO_COM3" tty irq 5 vector siointr
1741590Srgrimesdevice		sio3	at isa? port "IO_COM4" tty irq 9 vector siointr
1751590Srgrimes#PS/2 mouse driver (must follow pc0 or sc0 if enabled).  Also enable
1761590Srgrimes#ALLOW_CONFLICT_IOADDR option (see above) if you want to use this.
1771590Srgrimes#device		psm0	at isa? port "IO_KBD" tty irq 12 vector psmintr
1781590Srgrimes
1791590Srgrimespseudo-device	speaker
1801590Srgrimes#tw	device-driver
1811590Srgrimescontroller	uha0	at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr
1821590Srgrimescontroller	wdc0	at isa? port "IO_WD1" bio irq 14 vector wdintr
1831590Srgrimesdisk		wd0	at wdc0 drive 0
1841590Srgrimesdisk		wd1	at wdc0 drive 1
1851590Srgrimescontroller	wdc1	at isa? port "IO_WD2" bio irq 15 vector wdintr
1861590Srgrimesdisk		wd2	at wdc1 drive 0
1871590Srgrimesdisk		wd3	at wdc1 drive 1
1881590Srgrimesdevice		wt0	at isa? port 0x300 bio irq 5 drq 1 vector wtintr
1891590Srgrimes
1901590Srgrimes# Various sound card drivers.
1911590Srgrimes# See /sys/doc/sound.doc for more information.
1921590Srgrimesdevice snd5 at isa? port 0x330 irq 6 vector mpuintr
1931590Srgrimesdevice snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
1941590Srgrimesdevice snd3 at isa? port 0x388 irq 10 drq 6 vector pasintr
1951590Srgrimesdevice snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
1961590Srgrimesdevice snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
1971590Srgrimesdevice snd7 at isa? port 0x300
1981590Srgrimesdevice snd1 at isa? port 0x388
1991590Srgrimes
2001590Srgrimes# The digital speaker driver (/dev/pcaudio).
2011590Srgrimesdevice pca0 at isa? tty
2021590Srgrimes
2031590Srgrimes# options that have not been resolved yet
2041590Srgrimespseudo-device	log
2051590Srgrimes