From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mx1.riseup.net ([198.252.153.129]) by ewsd; Thu May 21 19:51:41 EDT 2020
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 49SmcD6gcVzDy22
	for <9front@9front.org>; Thu, 21 May 2020 16:51:40 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak;
	t=1590105100; bh=iWLH0kWNbiOZZzZj1pnYnLfzuT2/+l0NuTX6LLKj538=;
	h=Date:From:To:Subject:From;
	b=UaA+sYjtl8PtrakjXpxpW0z8FBAsXHNd8wgj5U87SQJ3GGx3FMsHM0CxIAmARrTm4
	 GpzsAvyMUUtEVpMj7LDhDvMDNdEpUgdt7J5Tq/Lck5TXJWyz3hi5lfpKAM5iFywQ/b
	 Y5YhcDS+rZ4Gt+eWmd4ZajyISXP6wULes3YAdlDs=
X-Riseup-User-ID: 816B26E2BBFFDB74512D1A16231678EB01B7A6BB8C0A753DC0E8CC323F3C9E57
Received: from [127.0.0.1] (localhost [127.0.0.1])
	 by bell.riseup.net (Postfix) with ESMTPSA id 49SmcD1rR4zJqSw
	for <9front@9front.org>; Thu, 21 May 2020 16:51:40 -0700 (PDT)
Date: Fri, 22 May 2020 01:51:37 +0200
From: raingloom <raingloom@riseup.net>
To: 9front@9front.org
Subject: UEFI boot on ARM / RPi
Message-ID: <20200522015137.34db73fc@riseup.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
List-ID: <9front.9front.org>
List-Help: <http://lists.9front.org>
X-Glyph: ➈
X-Bullshit: immutable pipelining metadata cloud 

Hi folks!

So, I recently found out about EDK2 for Raspberry Pi and since I had
plenty of issues trying to boot from my external HDD connected via USB,
and this seems to solve it, at least for kernels that support UEFI,
which 9front does not.

My question is, obviously, could someone help add support for it? As I
understand it, it would also help booting on other ARM platforms that
have UEFI support.