# $FreeBSD$

makeoptions	KERNVIRTADDR=0xc0200000
options		KERNVIRTADDR=0xc0200000

options		ARM_L2_PIPT