1# $FreeBSD: stable/11/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