xref: /freebsd/sys/arm/mv/armadaxp/std.armadaxp (revision fe819ced32ea8d2d7c26ce66f61742f11740596d) 
1# $FreeBSD$
2
3makeoptions	KERNVIRTADDR=0xc0200000
4options		KERNVIRTADDR=0xc0200000
5
6options		ARM_L2_PIPT
7