1239671Srwatson# $FreeBSD: releng/10.2/sys/mips/beri/std.beri 257528 2013-11-01 21:17:45Z brooks $ 2239671Srwatsonfiles "../beri/files.beri" 3239671Srwatson 4239671Srwatsoncpu CPU_MIPS4KC 5257528Sbrooks 6257528Sbrooksoptions BERI_LARGE_TLB 7