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