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