GitHub repository: sel4-cap/maaxboard-uboot
Description: This repository contains a script and build area for building u-boot for the Avnet MaaXBoard.