134 lines
3.8 KiB
Plaintext
134 lines
3.8 KiB
Plaintext
|
# XLRN32 -- Kernel configuration file for N32 kernel on XLR/XLS
|
||
|
|
#
|
||
|
|
# For more information on this file, please read the handbook section on
|
||
|
|
# Kernel Configuration Files:
|
||
|
|
#
|
||
|
|
# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
|
||
|
|
#
|
||
|
|
# The handbook is also available locally in /usr/share/doc/handbook
|
||
|
|
# if you've installed the doc distribution, otherwise always see the
|
||
|
|
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
|
||
|
|
# latest information.
|
||
|
|
#
|
||
|
|
# An exhaustive list of options and more detailed explanations of the
|
||
|
|
# device lines is also present in the ../../conf/NOTES and NOTES files.
|
||
|
|
# If you are in doubt as to the purpose or necessity of a line, check first
|
||
|
|
# in NOTES.
|
||
|
|
#
|
||
|
|
# $FreeBSD$
|
||
|
|
|
||
|
|
machine mips
|
||
|
|
cpu CPU_MIPS4KC
|
||
|
|
ident XLR
|
||
|
|
|
||
|
|
makeoptions MODULES_OVERRIDE=""
|
||
|
|
makeoptions TARGET_BIG_ENDIAN
|
||
|
|
|
||
|
|
include "../rmi/std.xlr"
|
||
|
|
|
||
|
|
makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
|
||
|
|
makeoptions ARCH_FLAGS="-march=mips64 -mabi=n32"
|
||
|
|
makeoptions LDSCRIPT_NAME=ldscript.mips.n32
|
||
|
|
|
||
|
|
#profile 2
|
||
|
|
|
||
|
|
options SCHED_ULE # ULE scheduler
|
||
|
|
#options VERBOSE_SYSINIT
|
||
|
|
#options SCHED_4BSD # 4BSD scheduler
|
||
|
|
options SMP
|
||
|
|
options PREEMPTION # Enable kernel thread preemption
|
||
|
|
#options FULL_PREEMPTION # Enable kernel thread preemption
|
||
|
|
options INET # InterNETworking
|
||
|
|
options INET6 # IPv6 communications protocols
|
||
|
|
options FFS # Berkeley Fast Filesystem
|
||
|
|
#options SOFTUPDATES # Enable FFS soft updates support
|
||
|
|
options UFS_ACL # Support for access control lists
|
||
|
|
options UFS_DIRHASH # Improve performance on big directories
|
||
|
|
options NFSCLIENT
|
||
|
|
options NFS_ROOT
|
||
|
|
#
|
||
|
|
options BOOTP
|
||
|
|
options BOOTP_NFSROOT
|
||
|
|
options BOOTP_NFSV3
|
||
|
|
options BOOTP_WIRED_TO=rge0
|
||
|
|
options BOOTP_COMPAT
|
||
|
|
options ROOTDEVNAME=\"nfs:10.1.1.8:/usr/extra/nfsroot\"
|
||
|
|
#
|
||
|
|
#options MD_ROOT # MD is a potential root device
|
||
|
|
#options MD_ROOT_SIZE=27000
|
||
|
|
#options MD_ROOT_SIZE=5120
|
||
|
|
#options ROOTDEVNAME=\"ufs:md0\"
|
||
|
|
options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
|
||
|
|
options HZ=1000
|
||
|
|
options NO_SWAPPING
|
||
|
|
|
||
|
|
#Debugging options
|
||
|
|
options KTRACE # ktrace(1) support
|
||
|
|
options DDB
|
||
|
|
options KDB
|
||
|
|
options GDB
|
||
|
|
options ALT_BREAK_TO_DEBUGGER
|
||
|
|
#options DEADLKRES #Enable the deadlock resolver
|
||
|
|
options INVARIANTS #Enable calls of extra sanity checking
|
||
|
|
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
|
||
|
|
#options WITNESS #Enable checks to detect deadlocks and cycles
|
||
|
|
#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
|
||
|
|
#options KTR # ktr(4) and ktrdump(8) support
|
||
|
|
#options KTR_COMPILE=(KTR_LOCK|KTR_PROC|KTR_INTR|KTR_CALLOUT|KTR_UMA|KTR_SYSC|KTR_CRITICAL)
|
||
|
|
#options KTR_ENTRIES=131072
|
||
|
|
#options MUTEX_DEBUG
|
||
|
|
#options MUTEX_PROFILING
|
||
|
|
|
||
|
|
device pci
|
||
|
|
#device ata
|
||
|
|
#device atadisk
|
||
|
|
#options XLR_PERFMON # Enable XLR processor activity monitoring
|
||
|
|
options BREAK_TO_DEBUGGER
|
||
|
|
#device genclock
|
||
|
|
device uart
|
||
|
|
# Pseudo
|
||
|
|
device loop
|
||
|
|
device random
|
||
|
|
device md
|
||
|
|
device mem
|
||
|
|
device pty
|
||
|
|
device bpf
|
||
|
|
|
||
|
|
# Network
|
||
|
|
device miibus
|
||
|
|
device rge
|
||
|
|
device ether
|
||
|
|
device re
|
||
|
|
device msk
|
||
|
|
|
||
|
|
device da
|
||
|
|
device scbus
|
||
|
|
#device ohci # OHCI PCI->USB interface
|
||
|
|
device ehci # EHCI PCI->USB interface (USB 2.0)
|
||
|
|
device usb # USB Bus (required)
|
||
|
|
options USB_DEBUG # enable debug msgs
|
||
|
|
#device udbp # USB Double Bulk Pipe devices
|
||
|
|
#device ugen # Generic
|
||
|
|
#device uhid # "Human Interface Devices"
|
||
|
|
device umass # Disks/Mass storage - Requires scbus and da
|
||
|
|
|
||
|
|
#device cfi
|
||
|
|
|
||
|
|
#i2c
|
||
|
|
# Not yet
|
||
|
|
#device ic
|
||
|
|
#device iic
|
||
|
|
#device iicbb
|
||
|
|
#device iicbus
|
||
|
|
#device xlr_rtc
|
||
|
|
#device xlr_temperature
|
||
|
|
#device xlr_eeprom
|
||
|
|
|
||
|
|
#crypto
|
||
|
|
# Not yet
|
||
|
|
#device cryptodev
|
||
|
|
#device crypto
|
||
|
|
#device rmisec
|
||
|
|
options ISA_MIPS64
|
||
|
|
makeoptions KERNLOADADDR=0x80100000
|