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