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