1239671Srwatson# $FreeBSD$ 2239671Srwatsonfiles "../beri/files.beri" 3239671Srwatson 4239671Srwatsoncpu CPU_MIPS4KC 5257528Sbrooks 6257528Sbrooksoptions BERI_LARGE_TLB 7