1#
2# GXEMUL "oldtestmips" sample kernel configuration.
3#
4# $FreeBSD$
5#
6
7ident		GXEMUL
8
9machine		mips mips64
10cpu		CPU_MIPS4KC
11
12options 	HZ=100
13
14makeoptions	ARCH_FLAGS="-march=mips64 -mabi=64"
15
16makeoptions 	KERNLOADADDR=0xffffffff80100000
17
18include		"../gxemul/std.gxemul"
19
20hints		"GXEMUL.hints"		#Default places to look for devices.
21
22makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
23
24makeoptions	MODULES_OVERRIDE=""
25
26options 	DDB
27options 	KDB
28
29# Make an SMP-capable kernel by default
30options 	SMP			# Symmetric MultiProcessor Kernel
31
32options 	SCHED_ULE
33options 	INET			# InterNETworking
34options 	INET6			# IPv6 communications protocols
35
36options 	FFS			#Berkeley Fast Filesystem
37
38# Debugging for use in -current
39#options 	DEADLKRES		#Enable the deadlock resolver
40options 	INVARIANTS		#Enable calls of extra sanity checking
41options 	INVARIANT_SUPPORT	#Extra sanity checks of internal structures, required by INVARIANTS
42#options 	WITNESS			#Enable checks to detect deadlocks and cycles
43#options 	WITNESS_SKIPSPIN	#Don't run witness on spinlocks for speed
44
45options 	ROOTDEVNAME=\"ufs:gxemul_disk0\"
46
47device		gxemul_cons
48device		gxemul_disk
49device		gxemul_ether
50
51# Pseudo devices.
52device		loop		# Network loopback
53device		random		# Entropy device
54device		ether		# Ethernet support
55device		tun		# Packet tunnel.
56device		md		# Memory "disks"
57device		gif		# IPv6 and IPv4 tunneling
58
59# The `bpf' device enables the Berkeley Packet Filter.
60# Be aware of the administrative consequences of enabling this!
61# Note that 'bpf' is required for DHCP.
62device		bpf		# Berkeley packet filter
63