1# $FreeBSD$ 2files "../beri/files.beri" 3 4cpu CPU_MIPS4KC 5 6options BERI_LARGE_TLB 7options PLATFORM_INIT_SECONDARY 8