summaryrefslogtreecommitdiffstats
path: root/sys/mips/conf/GXEMUL
blob: b8e046a665d97d3c721d1a38996e6fa6d450f587 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#
# GXEMUL "oldtestmips" sample kernel configuration.
#
# $FreeBSD$
#

ident		GXEMUL

machine		mips mips64
cpu		CPU_MIPS4KC

options 	HZ=100

makeoptions	ARCH_FLAGS="-march=mips64 -mabi=64"

makeoptions 	KERNLOADADDR=0xffffffff80100000

include		"../gxemul/std.gxemul"

hints		"GXEMUL.hints"		#Default places to look for devices.

makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

makeoptions	MODULES_OVERRIDE=""

options 	DDB
options 	KDB

options 	SCHED_ULE

options 	FFS			#Berkeley Fast Filesystem

# Debugging for use in -current
#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 	ROOTDEVNAME=\"ufs:gxemul_disk0\"

device		gxemul_cons
device		gxemul_disk
device		md
device		loop
device		random
OpenPOWER on IntegriCloud