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