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
| |
| |