mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-17 16:10:46 +01:00
6d01f02e51
John Dyson to make it reliably work under FreeBSD. 2) Added and enabled PROCFS in the GENERICxx and LINT kernels. 3) New execve() from me. Still work to be done here, but this version works well and is needed before other changes can be made. For a description of the design behind this, see freebsd-arch or ask me. 4) Rewrote stack fault code; made user stack VM grow as needed rather than all up front; improves performance a little and reduces process memory requirements. 5) Incorporated fix from Gene Stark to fault/wire a user page table page to fix a problem in copyout. This is a temporary fix and is not appropriate for pageable page tables. For a description of the problem, see Gene's post to the freebsd-hackers mailing list. 6) Tighten up vm_page struct to reduce memory requirements for it. ifdef pager page lock code as it's not being used currently. 7) Introduced new element to vmspace struct - vm_minsaddr; initial (minimum) stack address. Compliment to vm_maxsaddr. 8) Added a panic if the allocation for process u-pages fails. 9) Improve performance and accuracy of kernel profiling by putting in a little inline assembly instead of spl(). 10) Made serial console with sio driver work. Still has problems with serial input, but is almost useable. 11) Added -Bstatic to SYSTEM_LD in Makefile.i386 so that kernels will build properly with the new ld.
151 lines
5.2 KiB
Plaintext
151 lines
5.2 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.31 1993/12/06 01:57:16 wollman 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=103365" #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 "STAR_SAVER" #syscons "stars" screen saver
|
|
options "SNAKE_SAVER" #syscons "snake" screen saver
|
|
options "TCP_COMPAT_42" #tcp/ip compatible with 4.2
|
|
# ^^^ NOT RECOMMENDED FOR NORMAL USE
|
|
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 SCSIDUMP #support for crash dumps on sd disks
|
|
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 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 #Memory File System
|
|
options NFS #Network File System
|
|
options NS #Xerox NS communications protocols
|
|
options NSIP #XNS over IP
|
|
options PCFS #PC (MSDOS) File System
|
|
options PROCFS #Proc 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
|
|
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.
|
|
options TPIP # ISO TP class 4 over IP
|
|
#pseudo-device tun
|
|
device uk0 #unknown scsi devices
|
|
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 ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
|
|
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
|
|
device mcd0 at isa? port 0x300 bio irq 10 vector mcdintr
|
|
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
|
|
#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
|
|
|
|
# Various sound card drivers.
|
|
# See /sys/i386/doc/sound.doc for more information.
|
|
device snd5 at isa? port 0x330 irq 6 drq 0 vector mpuintr
|
|
device snd4 at isa? port 0x220 irq 15 drq 6 vector gusintr
|
|
device snd3 at isa? port 0x388 irq 12 drq 3 vector pasintr
|
|
device snd2 at isa? port 0x220 irq 7 drq 1 vector sbintr
|
|
device snd1 at isa? port 0x388 irq 0 drq 0 vector sbintr
|
|
#
|
|
#
|
|
# options that have not been resolved yet
|
|
#
|
|
pseudo-device log
|