On Fri, 13 Jun 2025 07:36:41 +0200 Marc Haber <mh+debian-de...@zugschlus.de> wrote:
> On Thu, 12 Jun 2025 14:31:02 -0500, Aaron Rainbolt > <arraybo...@ubuntu.com> wrote: > >Some time ago, I did a lot of work on getting a U-Boot + > >grub-efi-arm64 boot flow to work on the Raspberry Pi 4 with Debian. > >I was able to get a proof-of-concept implementation to work > >correctly, and was interested in upstreaming my work to Debian if it > >was welcome. > > If you had written that two weeks ago I would have saved myself a few > days of work. I spent some time with u-boot on the Raspberry Pi 4 and > am just in the middle of preparing a blog post. > > Did you publish your work? Would you mind linking that publication on > the Debian Wiki Raspberry Pi 4 page? I believe that page already has a > place that says that booting grub through u-boot is possible. That > would be the right place to publish your work. You don't need any team > to cooperate to write about your results there. I did publish the work, but it's in a development wiki for a Debian derivative I help develop, and it's kind of buried: https://www.kicksecure.com/wiki/Dev/boot#Booting_Debian_Trixie_with_GRUB_.2B_u-boot_on_Raspberry_Pi_4 I wouldn't be opposed to making a blog post though, I have a Substack I could use. (I wouldn't want to use the wiki link since we're changing that wiki all the time and things are liable to get deleted pretty much on a whim as development progresses.) > Does your solution mean that the regular Debian ARM64 installer just > works on the Raspi? It does not unfortunately, that would require the Debian ARM64 netinstaller image to have the necessary U-Boot and GRUB binaries on the right partition for the Raspberry Pi to find them. It's not like the EDK2 solution where you install the firmware first and then install Debian. > Does the resulting system enumerate the hardware via ACPI or is > there a Device Tree? It uses the same device trees provided by the raspi-firmware package already. > How about having accelerated Graphics? Accelerated graphics should work, since the appropriate device tree overlay is loaded so the kernel driver can find the GPU. > What did you do to keep the raspi-firmware package from messing > around with /boot/firmware? That's the part I haven't done yet, I'm definitely able to do it but was waiting for a maintainer response before digging in. After this email thread though, I'll probably be working on it soon. Thanks for the feedback! :) Aaron > Thanks for caring about Debian on the Raspberry Pi! > > Greetings > Marc
pgpSt8hlDZRiH.pgp
Description: OpenPGP digital signature
