From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mx1.riseup.net (mx1.riseup.net [198.252.153.129])
 by mx.groups.io with SMTP id smtpd.web11.1032.1589925327100476630
 for <devel@edk2.groups.io>;
 Tue, 19 May 2020 14:55:27 -0700
Authentication-Results: mx.groups.io;
 dkim=pass header.i=@riseup.net header.s=squak header.b=da3SPCmc;
 spf=pass (domain: riseup.net, ip: 198.252.153.129, mailfrom: raingloom@riseup.net)
Received: from bell.riseup.net (bell-pn.riseup.net [10.0.1.178])
	(using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits))
	(Client CN "*.riseup.net", Issuer "Sectigo RSA Domain Validation Secure Server CA" (not verified))
	by mx1.riseup.net (Postfix) with ESMTPS id 49RV6h3ljgzFf4C
	for <devel@edk2.groups.io>; Tue, 19 May 2020 14:55:08 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak;
	t=1589925326; bh=aF0gyVWo0s1itqNj98p5n9DFDn/utMR2LweAngY4qUk=;
	h=Date:From:To:Subject:From;
	b=da3SPCmc/L8OznveB/jXGvoArA9xm9dZ+ZlqOllEtuHJhrKdJuNLlPqMRhe+bQDky
	 btp8dyFoXOmdNnBd0Z4PyGKpDr+manae8bIigKZGZF8cfgAXBbrlJV2cVmeSK49Izn
	 NM0FN2/iiZwW2sFiO88g/es+GuGqELEGCP+YGzXE=
X-Riseup-User-ID: A8505161AA9FB6DE5BD2DB866AB3CF5BB7D9F9BAD2BADC4607EB5830AD3B26F4
Received: from [127.0.0.1] (localhost [127.0.0.1])
	 by bell.riseup.net (Postfix) with ESMTPSA id 49RV6g64yszJqR3
	for <devel@edk2.groups.io>; Tue, 19 May 2020 14:55:07 -0700 (PDT)
Date: Tue, 19 May 2020 23:54:48 +0200
From: raingloom <raingloom@riseup.net>
To: devel@edk2.groups.io
Subject: [HELP] EDK2 on Raspberry Pi 3 B+
Message-ID: <20200519235448.1f0fd537@riseup.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit

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?