# $FreeBSD$

options		KERNVIRTADDR=0xc0100000
makeoptions	KERNVIRTADDR=0xc0100000
options		KERNPHYSADDR=0x00100000
makeoptions	KERNPHYSADDR=0x00100000
options		PHYSADDR=0x00000000
options		FREEBSD_BOOT_LOADER
options		LINUX_BOOT_ABI