# $FreeBSD: head/sys/arm/broadcom/bcm2835/std.rpi 253355 2013-07-15 07:01:30Z rpaulo $

include		"../broadcom/bcm2835/std.bcm2835"

options		KERNVIRTADDR=0xc0100000
makeoptions	KERNVIRTADDR=0xc0100000
options		KERNPHYSADDR=0x00100000
makeoptions	KERNPHYSADDR=0x00100000
options		PHYSADDR=0x00000000
options		STARTUP_PAGETABLE_ADDR=0x01000000
options		FREEBSD_BOOT_LOADER
options		LINUX_BOOT_ABI