Many arm boards don't ship with firmware in a dedicated chip on board, instead they tend to read it off a sd or mmc device in the form of a u-boot image.
Here is an attempt at a port to make dealing with the convoluted build system less painful. If not built in the cross compiled method it assumes the host system has linux kernel headers and breaks horribly. It is firmware but GPLv2 licensed so it is redistributable, so perhaps not suitable for firmware.openbsd.org. And it would likely be too painful for have this in src so here is a port, FreeBSD have something similiar. The version used here is 2016.05-rc3 to pick up the latest changes to support efi payloads for BOOTARM.EFI We are soon going to need binary flattended device tree files (dtbs) on a per board basis as well, for those see the dtb port.
u-boot.tgz
Description: application/tar-gz
