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 10machine mips mips64 11 12cpu CPU_BERI 13 14options HZ=200 15 16makeoptions ARCH_FLAGS="-march=mips64 -mabi=64" 17 18makeoptions KERNLOADADDR=0xffffffff80100000 19 20include "../beri/std.beri" 21 22makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 23 24makeoptions MODULES_OVERRIDE="" 25 26options DDB 27options KDB 28options ALT_BREAK_TO_DEBUGGER 29options KTRACE 30 31options CAPABILITY_MODE 32options CAPABILITIES 33 34options COMPAT_FREEBSD10 35options COMPAT_FREEBSD11 36 37options INTRNG 38options SCHED_ULE 39 40options FFS #Berkeley Fast Filesystem 41 42options INET 43options INET6 44options TCP_HHOOK # hhook(9) framework for TCP 45options KGSSAPI 46options NFSCL 47options NFSLOCKD 48options NFS_ROOT 49 50# Debugging for use in -current 51#options DEADLKRES #Enable the deadlock resolver 52options INVARIANTS #Enable calls of extra sanity checking 53options 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 56 57device crypto 58device cryptodev 59device ether 60device geom_map 61device loop 62device md 63device random 64device snp 65