# $FreeBSD$

makeoptions	KERNVIRTADDR=0xc0000000
options 	KERNVIRTADDR=0xc0000000