1# $FreeBSD$ 2 3include "../broadcom/bcm2835/std.bcm2835" 4 5options KERNVIRTADDR=0xc0100000 6makeoptions KERNVIRTADDR=0xc0100000 7options KERNPHYSADDR=0x00100000 8makeoptions KERNPHYSADDR=0x00100000 9options PHYSADDR=0x00000000 10options STARTUP_PAGETABLE_ADDR=0x01000000 11options FREEBSD_BOOT_LOADER 12options LINUX_BOOT_ABI 13