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.
16 makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
18 makeoptions KERNLOADADDR=0xffffffff80100000
20 include "../beri/std.beri"
22 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
24 makeoptions MODULES_OVERRIDE=""
28 options ALT_BREAK_TO_DEBUGGER
31 options CAPABILITY_MODE
34 options COMPAT_FREEBSD10
35 options COMPAT_FREEBSD11
40 options FFS #Berkeley Fast Filesystem
44 options TCP_HHOOK # hhook(9) framework for TCP
50 # Debugging for use in -current
51 #options DEADLKRES #Enable the deadlock resolver
52 options INVARIANTS #Enable calls of extra sanity checking
53 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
54 #options WITNESS #Enable checks to detect deadlocks and cycles
55 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed