HardenedBSD/sys/mips/beri/std.beri
Ruslan Bukin 33cf9122f3 Add SMP support for BERI CPU.
Obtained from:	CheriBSD
Sponsored by:	DARPA, AFRL
2018-04-12 17:43:19 +00:00

8 lines
115 B
Plaintext

# $FreeBSD$
files "../beri/files.beri"
cpu CPU_MIPS4KC
options BERI_LARGE_TLB
options PLATFORM_INIT_SECONDARY