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 16def71..277972c 100644 (file)
--- a/sys/i386/conf/LINT
+++ b/sys/i386/conf/LINT
@@ -4,7 +4,7 @@
 #
 #      This kernel is NOT MEANT to be runnable!
 #
 #
 #      This kernel is NOT MEANT to be runnable!
 #

-#      $Id: LINT,v 1.63 1994/04/23 12:13:27 ache Exp $
+#      $Id: LINT,v 1.75 1994/06/02 12:18:27 csgr Exp $

 #
 
 machine                "i386"
 #
 
 machine                "i386"


@@ -16,26 +16,27 @@ maxusers    10
 maxfdescs      2048                    #Max file descriptors per process
 options                MATH_EMULATE            #Support for x87 emulation
 
 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
 #
 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                "COM_MULTIPORT"         #Multiport support in sys/isa/sio.c

-options         "FIFO_TRIGGER=FIFO_TRIGGER_1"   #Use this fifo value in sio.c

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

-options                "SYMTAB_SPACE=113498"   #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                "NCONS=8"               #number of syscons virtual consoles
 options                "FAT_CURSOR"            #block cursor in syscons or pccons
 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         "FADE_SAVER"            #syscons "fade" screen saver
-options                "SNAKE_SAVER"           #syscons "snake" screen saver
-options         "BLANK_SAVER"           #syscons "blank" screen saver
+
+#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                "TCP_COMPAT_42"         #tcp/ip compatible with 4.2
                                        # ^^^ NOT RECOMMENDED FOR NORMAL USE


@@ -58,6 +59,10 @@ 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.
 
 # 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
 #


@@ -137,25 +142,31 @@ device el0 at isa? port 0x300 net irq 9 vector elintr
 
 #special cased above:
 #controller    isa0
 
 #special cased above:
 #controller    isa0

-# interruptless parallel printer port driver
-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
 # interrupt driven parallel printer port driver
 device         lpt0    at isa? port "IO_LPT3" tty irq 7 vector lptintr

-# Driver for Mutsumi CD-ROM players
+# 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         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         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     wdc0    at isa? port "IO_WD1" bio irq 14 vector wdintr
 disk           wd0     at wdc0 drive 0
 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


@@ -175,15 +186,8 @@ device snd6 at isa? port 0x220 irq 7 drq 5 vector sbintr
 device snd7 at isa? port 0x300
 device snd1 at isa? port 0x388
 
 device snd7 at isa? port 0x300
 device snd1 at isa? port 0x388
 

+# The digital speaker driver (/dev/pcaudio).

 device pca0 at isa? tty
 device pca0 at isa? tty

-#
-# The following option must be enabled in order for the pca driver to
-# work.  WARNING! BEWARE! CAUTION! ACHTUNG! VAROKAA! 
-# Enabling this option will result in the microtime() function (and hence
-# gettimeofday(2) asnd the timestamps in bpf) giving incorrect results.
-# DO NOT attempt to run NTP while playing audio with this driver.
-#
-#options INACCURATE_MICROTIME_IS_OK

 
 # options that have not been resolved yet
 pseudo-device  log
 
 # options that have not been resolved yet
 pseudo-device  log