GitHub repository: sel4devkit/maaxboard-uboot
Primary language: Shell
Description: This repository contains a script and build area for building u-boot for the Avnet MaaXBoard.