1# $FreeBSD: releng/11.0/sys/arm/broadcom/bcm2835/std.rpi 297068 2016-03-20 16:48:29Z ian $
2
3options		KERNVIRTADDR=0xc0100000
4makeoptions	KERNVIRTADDR=0xc0100000
5options		LINUX_BOOT_ABI
6