Raspberry Pi firmware
Firmware required to boot Raspberry Pi systems.

With u-boot rpi_3 target, config.txt should contain:

arm_control=0x200
enable_uart=1
device_tree_address=0x100
kernel=u-boot.bin

The arm_control value switches to 64 bit.

Maintainer: The OpenBSD ports mailing-list <ports@openbsd.org>

WWW: https://github.com/raspberrypi/firmware
