1# $FreeBSD: releng/10.2/sys/mips/beri/std.beri 257528 2013-11-01 21:17:45Z brooks $
2files	"../beri/files.beri"
3
4cpu		CPU_MIPS4KC
5
6options 	BERI_LARGE_TLB
7