freebsd/sys/mips/conf/BERI_TEMPLATE

#
# 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 	KGSSAPI
options 	NFSCL
options 	NFSLOCKD
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		crypto
device		cryptodev
device		ether
device		geom_map
device		loop
device		md
device		random
device		snp
Add reference kernel configurations for FreeBSD/beri in simulation, on the Terasic DE-4, and Terasic tPad Altera-based boards. Sponsored by: DARPA, AFRL 2012-08-25 12:02:13 +00:00			`#`
			`# 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`
Sync BERI kernel configs with P4: Switch the majority of device configuration to FDT from hints. Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT kernels. Add NFS and GSSAPI support by default. MFC after: 3 days Sponsored by: DARPA/AFRL 2013-10-22 15:45:31 +00:00			`options KGSSAPI`
Add reference kernel configurations for FreeBSD/beri in simulation, on the Terasic DE-4, and Terasic tPad Altera-based boards. Sponsored by: DARPA, AFRL 2012-08-25 12:02:13 +00:00			`options NFSCL`
Sync BERI kernel configs with P4: Switch the majority of device configuration to FDT from hints. Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT kernels. Add NFS and GSSAPI support by default. MFC after: 3 days Sponsored by: DARPA/AFRL 2013-10-22 15:45:31 +00:00			`options NFSLOCKD`
Add reference kernel configurations for FreeBSD/beri in simulation, on the Terasic DE-4, and Terasic tPad Altera-based boards. Sponsored by: DARPA, AFRL 2012-08-25 12:02:13 +00:00			`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`

Sync BERI kernel configs with P4: Switch the majority of device configuration to FDT from hints. Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT kernels. Add NFS and GSSAPI support by default. MFC after: 3 days Sponsored by: DARPA/AFRL 2013-10-22 15:45:31 +00:00			`device crypto`
			`device cryptodev`
Add reference kernel configurations for FreeBSD/beri in simulation, on the Terasic DE-4, and Terasic tPad Altera-based boards. Sponsored by: DARPA, AFRL 2012-08-25 12:02:13 +00:00			`device ether`
Sync BERI kernel configs with P4: Switch the majority of device configuration to FDT from hints. Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT kernels. Add NFS and GSSAPI support by default. MFC after: 3 days Sponsored by: DARPA/AFRL 2013-10-22 15:45:31 +00:00			`device geom_map`
Add reference kernel configurations for FreeBSD/beri in simulation, on the Terasic DE-4, and Terasic tPad Altera-based boards. Sponsored by: DARPA, AFRL 2012-08-25 12:02:13 +00:00			`device loop`
Sync BERI kernel configs with P4: Switch the majority of device configuration to FDT from hints. Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT kernels. Add NFS and GSSAPI support by default. MFC after: 3 days Sponsored by: DARPA/AFRL 2013-10-22 15:45:31 +00:00			`device md`
Add reference kernel configurations for FreeBSD/beri in simulation, on the Terasic DE-4, and Terasic tPad Altera-based boards. Sponsored by: DARPA, AFRL 2012-08-25 12:02:13 +00:00			`device random`
			`device snp`