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 FREEBSD_BOOT_LOADER
11options LINUX_BOOT_ABI
12