1# XLP -- Generic kernel configuration file for FreeBSD/mips 2# 3# For more information on this file, please read the handbook section on 4# Kernel Configuration Files: 5# 6# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 7# 8# The handbook is also available locally in /usr/share/doc/handbook 9# if you've installed the doc distribution, otherwise always see the 10# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 11# latest information. 12# 13# An exhaustive list of options and more detailed explanations of the 14# device lines is also present in the ../../conf/NOTES and NOTES files. 15# If you are in doubt as to the purpose or necessity of a line, check first 16# in NOTES. 17#
| 1# XLP -- Generic kernel configuration file for FreeBSD/mips 2# 3# For more information on this file, please read the handbook section on 4# Kernel Configuration Files: 5# 6# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 7# 8# The handbook is also available locally in /usr/share/doc/handbook 9# if you've installed the doc distribution, otherwise always see the 10# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 11# latest information. 12# 13# An exhaustive list of options and more detailed explanations of the 14# device lines is also present in the ../../conf/NOTES and NOTES files. 15# If you are in doubt as to the purpose or necessity of a line, check first 16# in NOTES. 17#
|
18# $FreeBSD: head/sys/mips/conf/XLP 226545 2011-10-19 14:38:01Z jchandra $
| 18# $FreeBSD: head/sys/mips/conf/XLP 227663 2011-11-18 11:18:59Z jchandra $
|
19 20machine mips mipseb 21ident XLP 22 23options ISA_MIPS32 24makeoptions KERNLOADADDR=0x80100000 25
| 19 20machine mips mipseb 21ident XLP 22 23options ISA_MIPS32 24makeoptions KERNLOADADDR=0x80100000 25
|
26include "../nlm/std.xlp" 27makeoptions MODULES_OVERRIDE="" 28makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 29#profile 2
| 26include "std.XLP" 27
|
30makeoptions TRAMPLOADADDR=0xffffffff85000000 31makeoptions TRAMP_ARCH_FLAGS="-mabi=64 -march=mips64"
| 28makeoptions TRAMPLOADADDR=0xffffffff85000000 29makeoptions TRAMP_ARCH_FLAGS="-mabi=64 -march=mips64"
|
32 33options SCHED_ULE # ULE scheduler 34#options VERBOSE_SYSINIT 35#options SCHED_4BSD # 4BSD scheduler 36options SMP 37options PREEMPTION # Enable kernel thread preemption 38#options FULL_PREEMPTION # Enable kernel thread preemption 39#options MAXCPU=128 # XLP can probe 128 CPUs 40options INET # InterNETworking 41options INET6 # IPv6 communications protocols 42options FFS # Berkeley Fast Filesystem 43#options SOFTUPDATES # Enable FFS soft updates support 44options UFS_ACL # Support for access control lists 45options UFS_DIRHASH # Improve performance on big directories 46options NFSCL 47options NFS_ROOT 48options MSDOSFS #MSDOS Filesystem 49# 50#options BOOTP 51#options BOOTP_NFSROOT 52#options BOOTP_NFSV3 53#options BOOTP_WIRED_TO=nlge0 54#options BOOTP_COMPAT 55#options ROOTDEVNAME=\"nfs:10.1.1.8:/usr/extra/nfsroot\" 56# 57options MD_ROOT # MD is a potential root device 58options MD_ROOT_SIZE=27000 59options ROOTDEVNAME=\"ufs:md0\" 60options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions 61options HZ=1000 62options NO_SWAPPING 63 64#Debugging options 65options KTRACE # ktrace(1) support 66options DDB 67options KDB 68options GDB 69options BREAK_TO_DEBUGGER 70options ALT_BREAK_TO_DEBUGGER 71#options DEADLKRES #Enable the deadlock resolver 72#options INVARIANTS #Enable calls of extra sanity checking 73#options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 74#options WITNESS #Enable checks to detect deadlocks and cycles 75#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 76#options KTR # ktr(4) and ktrdump(8) support 77#options KTR_COMPILE=(KTR_LOCK|KTR_PROC|KTR_INTR|KTR_CALLOUT|KTR_UMA|KTR_SYSC) 78#options KTR_ENTRIES=131072 79#options LOCK_DEBUG 80#options LOCK_PROFILING 81 82 83# Pseudo 84device loop 85device random 86device md 87device pty 88device bpf 89 90# UART 91device uart 92device pci 93 94# Network 95device ether 96# 97# FDT support 98#options FDT 99#options FDT_DTB_STATIC 100#makeoptions FDT_DTS_FILE=xlp-basic.dts
| |
| |