> For the complete documentation index, see [llms.txt](https://dev.solid-run.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://dev.solid-run.com/marvell/a8040/sbc-platform/a8040-software/a8040-uefi.md).

# 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](https://developer.arm.com/architectures/system-architectures/arm-systemready/es) certified binary for the Macchiatobin Doubleshot board. It is available for download from [their GitHub](https://github.com/Semihalf/edk2-platforms/wiki/MacchiatoBin-SH_1.0).

## Binaries

Based on the versions used for the certified binary, we have rebuilds from source available below:

* [MacchiatoBin Doubleshot](https://github.com/Josua-SR/armada-8040-uefi/releases/tag/sr-1.0)
* [MacchiatoBin Singleshot](https://github.com/Josua-SR/armada-8040-uefi/releases/tag/sr-1.0-ss)

## Manual Build

Source-code and instructions are available [here on GitHub](https://github.com/Josua-SR/armada-8040-uefi), 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.:

  ```
   fs0:
   ls
   ...
   fs1:
   ls
   ...
   Directory of: FS5:\
   11/09/2019  13:49           2,730,940  uefi-mcbin-spi.bin
  ```
* finally install the firmware to SPI Flash with the fupdate command:

  ```
   fupdate uefi-mcbin-spi.bin spi
  ```

### From U-Boot

For installing the new firmware binary from U-Boot, follow the [instructions for writing U-Boot to SPI Flash](/marvell/a8040/sbc-platform/a8040-software/a8040-u-boot.md#to-spi-flash)


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter:

```
GET https://dev.solid-run.com/marvell/a8040/sbc-platform/a8040-software/a8040-uefi.md?ask=<question>&goal=<endgoal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal.

The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.