f87a326945
Change the cpu "i386" line to 2 lines: cpu "I386_CPU" cpu "I486_CPU" This is so we can do real CPU classification of code. Fix missing depend for assym.s which does depend on genassym.c
121 lines
3.8 KiB
Plaintext
121 lines
3.8 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.13 1993/10/01 04:20:16 rgrimes Exp $
|
|
#
|
|
|
|
machine "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
|
|
|
|
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 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 ix0 at isa? port 0x320 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
|
|
#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
|