Bump up the SYMTAB_SPACE for LINT. It was already too small again.

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

diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT
index 50a7b59..277972c 100644 (file)
--- a/sys/i386/conf/LINT
+++ b/sys/i386/conf/LINT
@@ -1,35 +1,67 @@
 #
 # LINT -- config file for checking all the sources, tries to pull in
 #
 # LINT -- config file for checking all the sources, tries to pull in

-#         as much of the source tree as it can.
+#      as much of the source tree as it can.

 #
 #      This kernel is NOT MEANT to be runnable!
 #
 #
 #      This kernel is NOT MEANT to be runnable!
 #

-#      $Id: LINT,v 1.11 1993/09/30 20:44:32 rgrimes Exp $
+#      $Id: LINT,v 1.75 1994/06/02 12:18:27 csgr Exp $

 #
 
 machine                "i386"
 #
 
 machine                "i386"

-cpu            "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
 
 ident          LINT
 timezone       8 dst
 maxusers       10
 maxfdescs      2048                    #Max file descriptors per process
 options                MATH_EMULATE            #Support for x87 emulation
 

-config         "386bsd"        at 0xFE100000 root on wd0 swap on wd0 and sd0
+# 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 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                "COM_MULTIPORT"         #Multiport support in sys/isa/sio.c

+

 options                "COMPAT_43"             #compatible with BSD 4.3
 options                "COMPAT_43"             #compatible with BSD 4.3

-options                "SYMTAB_SPACE=89000"    #This kernel needs LOTS of symtable
+options                "SYMTAB_SPACE=119000"   #This kernel needs LOTS of symtable

 options                GATEWAY                 #internetwork gateway
 options                KTRACE                  #kernel tracing
 options                GATEWAY                 #internetwork gateway
 options                KTRACE                  #kernel tracing

+

 options                "NCONS=8"               #number of syscons virtual consoles
 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
 options                "TCP_COMPAT_42"         #tcp/ip compatible with 4.2

+                                       # ^^^ NOT RECOMMENDED FOR NORMAL USE

 options                UCONSOLE                #x console support
 options                XSERVER                 #xserver
 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
 
 #
 # options that are in sys/conf/files


@@ -48,13 +80,15 @@ options             INET                    #Internet communications protocols
 options                ISO
 options                ISOFS                   #ISO 9660 File System
 pseudo-device  loop
 options                ISO
 options                ISOFS                   #ISO 9660 File System
 pseudo-device  loop

-options                MFS                     #Memroy File System
+options                MFS                     #Memory File System

 options                NFS                     #Network File System
 options                NS                      #Xerox NS communications protocols
 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                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
 controller     scbus0
 device         sd0
 device         sd1


@@ -66,9 +100,12 @@ device              st1
 pseudo-device  swappager
 options                SYSVSHM
 options                "SHMMAXPGS=64"          # 256Kb of sharable memory
 pseudo-device  swappager
 options                SYSVSHM
 options                "SHMMAXPGS=64"          # 256Kb of sharable memory

+options                SYSVSEM
+options                SYSVMSG

 #pseudo-device tb                      #tablet line discipline.
 #pseudo-device tb                      #tablet line discipline.

-pseudo-device  tpip
+options                TPIP                    # ISO TP class 4 over IP

 #pseudo-device tun
 #pseudo-device tun

+device         uk0                     #unknown scsi devices

 pseudo-device  vnodepager
 
 #
 pseudo-device  vnodepager
 
 #


@@ -77,45 +114,80 @@ pseudo-device      vnodepager
 #This is needed here so the isa? below will work
 controller     isa0
 
 #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
 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
 controller     ahb0    at isa? bio irq 11 vector ahbintr

-controller     bt0     at isa? port "IO_BT0" bio irq 12  vector btintr
-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
-device ec0 at isa? port 0x250 net irq 9 iomem 0xd8000 iosiz 8192 vector ecintr
+# 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
 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 is0 at isa? port 0x280 net irq 10 drq 7 vector isintr

-device ne0 at isa? port 0x300 net irq 9 vector neintr

 #device ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
 #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
 #special cased above:
 #controller    isa0

-device         lpa0    at isa? port "IO_LPT1" tty
-device         lpa1    at isa? port "IO_LPT2" tty
+
+# 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
 device         lpt0    at isa? port "IO_LPT3" tty irq 7 vector lptintr

-#mse   device-driver
+# 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
 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
 #only one of pc0 or sc0 allowed

-#device                sc0     at isa? port "IO_KBD" tty irq 1 vector scintr
+#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
 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
 pseudo-device  speaker

-#tw    device-driver
+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     uha0    at isa? port "IO_UHA0" bio irq 14 drq 5 vector uhaintr

-controller     wd0     at isa? port "IO_WD1" bio irq 14 vector wdintr
-disk           wd0     at wd0 drive 0
-disk           wd1     at wd0 drive 1
+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
 
 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
 # options that have not been resolved yet

-#

 pseudo-device  log
 pseudo-device  log