A8040 UEFI
Introduction
This page describes how to build, install and update the TianoCore EDK2 firmware for SolidRun Armada 8040-based devices. It is currently available for the MacchiatoBin only, while we are working on extending it to the Clearfog GT 8k as well.
Certified Binaries
Semihalf has produced an ARM System Ready ES certified binary for the Macchiatobin Doubleshot board. It is available for download from their GitHub.
Binaries
Based on the versions used for the certified binary, we have rebuilds from source available below:
Manual Build
Source-code and instructions are available here on GitHub, with two branches: develop for the doubleshot, and mcbinss for the singleshot board variant.
Install
From UEFI
First, copy the firmware binary to a FAT filesystem on an internal or removable device, then:
enter the UEFI Shell by pressing the ESC key boot, selecting "Boot Manager" -> "UEFI Shell", from within the UEFI Menu, and pressing ESC again to cancel automatic startup.
Note: For headless systems, the serial console available on the microSD port can be used.
find the filesystem device containing the firmware binary. This can be done by inspecting the Mapping table printed on screen, or by examing all filesystems one by one - e.g.:
finally install the firmware to SPI Flash with the fupdate command:
From U-Boot
For installing the new firmware binary from U-Boot, follow the instructions for writing U-Boot to SPI Flash
Last updated