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 which I copied RPI_EFI.fd to the USB flash drive / microSD card (tried both), alongside the necessary blobs and configs, and the miniuart overlay, and finally the contents of the latest ARM64 Debian netinst image. Problem: USB boot straight up doesn't work. microSD does get me into GRUB, but none of my USB keyboards work, so it's just stuck there. I can't get into the EFI settings either, obviously. I tried debugging it over UART, so I bought my first ever USB UART adapter (from a verified RPi reseller in Hungary, who advertised it as compatible), wired it up according to the docs, launched screen with the right baud rate, and... nothing. Currently I'm using a debug build, but I still can't see anything on the UART console. The USB flash drive is a Kingston DT101 G2, the keyboards are a Genius SlimStar 110 and a Logitech K120. The USB power supply is a 5V 1.2A model. Previously I used it with Raspbian for a bit, but mostly it runs 9front by booting a kernel from a microSD and using a file system stored on an external HDD, connected via an IDE->USB converter. The HDD is powered by an ATX power supply. What, if anything, am I doing wrong? How should I debug it? -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#59896): https://edk2.groups.io/g/devel/message/59896 Mute This Topic: https://groups.io/mt/74337070/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
