1# 2# BERI_TEMPLATE -- a template kernel configuration for the SRI/Cambridge 3# "BERI" (Bluespec Extensible RISC Implementation) FPGA soft core CPU. This 4# kernel configuration file will be included by other board-specific files, 5# and so contains only BERI features common across all board targets. 6# 7# $FreeBSD$ 8# 9 10ident BERI_TEMPLATE 11 12machine mips mips64 13 14cpu CPU_BERI 15 16options HZ=200 17 18makeoptions ARCH_FLAGS="-march=mips64 -mabi=64" 19 20makeoptions KERNLOADADDR=0xffffffff80100000 21 22include "../beri/std.beri" 23 24makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 25 26makeoptions MODULES_OVERRIDE="" 27 28options DDB 29options KDB 30options ALT_BREAK_TO_DEBUGGER 31options KTRACE 32 33options CAPABILITY_MODE 34options CAPABILITIES 35 36options SCHED_ULE 37 38options FFS #Berkeley Fast Filesystem 39 40options INET 41options INET6 42options KGSSAPI 43options NFSCL 44options NFSLOCKD 45options NFS_ROOT 46 47# Debugging for use in -current 48#options DEADLKRES #Enable the deadlock resolver 49options INVARIANTS #Enable calls of extra sanity checking 50options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 51#options WITNESS #Enable checks to detect deadlocks and cycles 52#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 53 54device crypto 55device cryptodev 56device ether 57device geom_map 58device loop 59device md 60device random 61device snp 62