1# $FreeBSD$ 2 3options KERNVIRTADDR=0xc0100000 4makeoptions KERNVIRTADDR=0xc0100000 5options FREEBSD_BOOT_LOADER 6options LINUX_BOOT_ABI 7