GitHub repository: CTSRD-CHERI/u-boot
Primary language: C
Description: "Das U-Boot" ported to CHERI