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 36options COMPAT_FREEBSD12 37 38options INTRNG 39options SCHED_ULE 40 41options FFS #Berkeley Fast Filesystem 42 43options INET 44options INET6 45options TCP_HHOOK # hhook(9) framework for TCP 46options KGSSAPI 47options NFSCL 48options NFSLOCKD 49options NFS_ROOT 50 51# Debugging for use in -current 52#options DEADLKRES #Enable the deadlock resolver 53options INVARIANTS #Enable calls of extra sanity checking 54options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 55#options WITNESS #Enable checks to detect deadlocks and cycles 56#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 57 58device crypto 59device cryptodev 60device ether 61device geom_map 62device loop 63device md 64device snp 65