Raspberry Pi firmware
Firmware required to boot Raspberry Pi systems.

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

arm_64bit=1
enable_uart=1
kernel=u-boot.bin

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

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