# $FreeBSD: releng/12.1/sys/mips/beri/std.beri 332441 2018-04-12 17:43:19Z br $
# $BSDSUniX $
files	"../beri/files.beri"

cpu		CPU_MIPS4KC

options 	BERI_LARGE_TLB
options 	PLATFORM_INIT_SECONDARY