123 lines
4.0 KiB
Plaintext
123 lines
4.0 KiB
Plaintext
#
|
|
# 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.10 1993/09/26 23:21:12 rgrimes Exp $
|
|
#
|
|
|
|
machine "i386"
|
|
cpu "i386"
|
|
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
|
|
|
|
#
|
|
# 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 "COMPAT_43" #compatible with BSD 4.3
|
|
options "SYMTAB_SPACE=89000" #This kernel needs LOTS of symtable
|
|
options GATEWAY #internetwork gateway
|
|
options KTRACE #kernel tracing
|
|
options "NCONS=8" #number of syscons virtual consoles
|
|
options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
|
|
options UCONSOLE #x console support
|
|
options XSERVER #xserver
|
|
|
|
#
|
|
# 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 #Memroy File System
|
|
options NFS #Network File System
|
|
options NS #Xerox NS communications protocols
|
|
options PCFS #PC (MSDOS) File System
|
|
pseudo-device ppp 2
|
|
pseudo-device pty 4
|
|
options QUOTA #enable disk quotas
|
|
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
|
|
#pseudo-device tb #tablet line discipline.
|
|
pseudo-device tpip
|
|
#pseudo-device tun
|
|
pseudo-device vnodepager
|
|
|
|
#
|
|
# options that are in sys/i386/conf/files.i386
|
|
#
|
|
#This is needed here so the isa? below will work
|
|
controller isa0
|
|
|
|
controller aha0 at isa? port "IO_AHA0" bio irq 11 drq 5 vector ahaintr
|
|
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
|
|
device ed0 at isa? port 0x280 net irq 5 iomem 0xd8000 vector edintr
|
|
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 we0 at isa? port 0x280 net irq 9 iomem 0xd0000 iosiz 8192 vector weintr
|
|
#special cased above:
|
|
#controller isa0
|
|
device lpa0 at isa? port "IO_LPT1" tty
|
|
device lpa1 at isa? port "IO_LPT2" tty
|
|
device lpt0 at isa? port "IO_LPT3" tty irq 7 vector lptintr
|
|
#mse device-driver
|
|
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
|
|
#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
|
|
pseudo-device speaker
|
|
#tw device-driver
|
|
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
|
|
device wt0 at isa? port 0x300 bio irq 5 drq 1 vector wtintr
|
|
|
|
#
|
|
# options that have not been resolved yet
|
|
#
|
|
pseudo-device log
|