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