Hi,
You may be interested with the pre-built Raspberry Pi 3 UEFI images
from: https://github.com/pftf/RPi3
At the very least it should tell you if your serial setup works or not,
as, if properly configured (115200 bauds), you should get some serial
output regardless of whether you are using
Hi!
I'm trying to get EDK2 working on a Raspberry Pi 3 B+ and am running
into some issues.
Setup:
First, I created a Guix package for EDK2, to make it nice and
reproducible. It can be found on
https://git.sr.ht/~raingloom/guix-packages in bootloaders.scm.
It took a few tries to compile it, after
