# $FreeBSD: stable/10/sys/mips/beri/std.beri 257528 2013-11-01 21:17:45Z brooks $
files	"../beri/files.beri"

cpu		CPU_MIPS4KC

options 	BERI_LARGE_TLB