# $FreeBSD$

options		KERNVIRTADDR=0xc0100000
makeoptions	KERNVIRTADDR=0xc0100000
options		FREEBSD_BOOT_LOADER
options		LINUX_BOOT_ABI