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.
18 makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
20 makeoptions KERNLOADADDR=0xffffffff80100000
22 include "../beri/std.beri"
24 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
26 makeoptions MODULES_OVERRIDE=""
30 options ALT_BREAK_TO_DEBUGGER
33 options CAPABILITY_MODE
38 options FFS #Berkeley Fast Filesystem
45 # Debugging for use in -current
46 #options DEADLKRES #Enable the deadlock resolver
47 options INVARIANTS #Enable calls of extra sanity checking
48 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
49 #options WITNESS #Enable checks to detect deadlocks and cycles
50 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed