1# $FreeBSD$ 2 3options KERNVIRTADDR=0xc0100000 4makeoptions KERNVIRTADDR=0xc0100000 5options KERNPHYSADDR=0x00100000 6makeoptions KERNPHYSADDR=0x00100000 7options PHYSADDR=0x00000000 8options FREEBSD_BOOT_LOADER 9options LINUX_BOOT_ABI 10