1# $FreeBSD$ 2 3makeoptions KERNVIRTADDR=0xc0200000 4options KERNVIRTADDR=0xc0200000 5 6options ARM_L2_PIPT 7