files	"../beri/files.beri"

cpu		CPU_MIPS4KC

options 	BERI_LARGE_TLB
options 	PLATFORM_INIT_SECONDARY