1239679Srwatson# 2239679Srwatson# BERI_TEMPLATE -- a template kernel configuration for the SRI/Cambridge 3239679Srwatson# "BERI" (Bluespec Extensible RISC Implementation) FPGA soft core CPU. This 4239679Srwatson# kernel configuration file will be included by other board-specific files, 5239679Srwatson# and so contains only BERI features common across all board targets. 6239679Srwatson# 7239679Srwatson# $FreeBSD$ 8239679Srwatson# 9239679Srwatson 10239679Srwatsonident BERI_TEMPLATE 11239679Srwatson 12239679Srwatsonmachine mips mips64 13239679Srwatson 14239679Srwatsoncpu CPU_BERI 15239679Srwatson 16239679Srwatsonoptions HZ=200 17239679Srwatson 18239679Srwatsonmakeoptions ARCH_FLAGS="-march=mips64 -mabi=64" 19239679Srwatson 20239679Srwatsonmakeoptions KERNLOADADDR=0xffffffff80100000 21239679Srwatson 22239679Srwatsoninclude "../beri/std.beri" 23239679Srwatson 24239679Srwatsonmakeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 25239679Srwatson 26239679Srwatsonmakeoptions MODULES_OVERRIDE="" 27239679Srwatson 28239679Srwatsonoptions DDB 29239679Srwatsonoptions KDB 30239679Srwatsonoptions ALT_BREAK_TO_DEBUGGER 31239679Srwatsonoptions KTRACE 32239679Srwatson 33239679Srwatsonoptions CAPABILITY_MODE 34239679Srwatsonoptions CAPABILITIES 35239679Srwatson 36239679Srwatsonoptions SCHED_ULE 37239679Srwatson 38239679Srwatsonoptions FFS #Berkeley Fast Filesystem 39239679Srwatson 40239679Srwatsonoptions INET 41239679Srwatsonoptions INET6 42256912Sbrooksoptions KGSSAPI 43239679Srwatsonoptions NFSCL 44256912Sbrooksoptions NFSLOCKD 45239679Srwatsonoptions NFS_ROOT 46239679Srwatson 47239679Srwatson# Debugging for use in -current 48239679Srwatson#options DEADLKRES #Enable the deadlock resolver 49239679Srwatsonoptions INVARIANTS #Enable calls of extra sanity checking 50239679Srwatsonoptions INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 51239679Srwatson#options WITNESS #Enable checks to detect deadlocks and cycles 52239679Srwatson#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 53239679Srwatson 54256912Sbrooksdevice crypto 55256912Sbrooksdevice cryptodev 56256912Sbrooksdevice ether 57239679Srwatsondevice geom_map 58256912Sbrooksdevice loop 59239679Srwatsondevice md 60239679Srwatsondevice random 61239679Srwatsondevice snp 62