I’ve got some RISC-V SBCs, an AWOL Nezha board, and a Mango Pi MQ Pro. Both are based on the AllWinner D1 SoC. As recently I came across an SD card image builder that generates an Arch Linux image for these type of boards. https://github.com/sehraf/riscv-arch-image-builder This script combines OpenSBI (first stage bootloader), u-boot (second stage…