#
# BERI_TEMPLATE -- a template kernel configuration for the SRI/Cambridge
# "BERI" (Bluespec Extensible RISC Implementation) FPGA soft core CPU.  This
# kernel configuration file will be included by other board-specific files,
# and so contains only BERI features common across all board targets.
#
# $FreeBSD$
#

ident		BERI_TEMPLATE

machine		mips mips64

cpu		CPU_BERI

options 	HZ=200

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

makeoptions 	KERNLOADADDR=0xffffffff80100000

include		"../beri/std.beri"

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

makeoptions	MODULES_OVERRIDE=""

options 	DDB
options 	KDB
options 	ALT_BREAK_TO_DEBUGGER
options 	KTRACE

options 	CAPABILITY_MODE
options 	CAPABILITIES

options 	SCHED_ULE

options 	FFS			#Berkeley Fast Filesystem

options 	INET
options 	INET6
options 	NFSCL
options 	NFS_ROOT

# 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

device		geom_map

device		md
device		ether
device		loop
device		random
device		snp