GitHub repository: rgl/raspberrypi-uefi-edk2-vagrant
Primary language: Shell
Created: 2020-03-29T21:01:41Z
Description: Raspberry Pi 4 UEFI EDK2 build environment inside a vagrant box