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. Does your solution mean that the regular Debian ARM64 installer just works on the Raspi? Does the resulting system enumerate the hardware via ACPI or is there a Device Tree? How about having accelerated Graphics? What did you do to keep the raspi-firmware package from messing around with /boot/firmware? Thanks for caring about Debian on the Raspberry Pi! Greetings Marc -- ---------------------------------------------------------------------------- Marc Haber | " Questions are the | Mailadresse im Header Rhein-Neckar, DE | Beginning of Wisdom " | Nordisch by Nature | Lt. Worf, TNG "Rightful Heir" | Fon: *49 6224 1600402
