1# $FreeBSD: head/sys/arm/broadcom/bcm2835/std.rpi 291102 2015-11-20 16:12:22Z andrew $ 2 3options KERNVIRTADDR=0xc0100000 4makeoptions KERNVIRTADDR=0xc0100000 5options FREEBSD_BOOT_LOADER 6options LINUX_BOOT_ABI 7