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