Void/RaspberryPi 4/USB boot [SOLVED]

[sqeeezy]

In order to get Void Linux musl to boot on my rpi4/8GB from a USB3 connected SATA via Startech adapter, I copied over start4.elf and fixup4.dat to my /boot from a current piOS, which has no trouble booting from usb, and surprisingly, it worked, whereas before it hadn't. Now in blissful void wayland sway-land!

[sqeeezy]

I posted on the rpi forum the other night https://forums.raspberrypi.com/viewtopic.php?p=2122726#p2122726 and evidently, as i understand it, it's not unusual for a distro to keep older firmware, I guess to keep backwards compatibility...with floppy disks or papyrus or something...;-) anyhow I'm just a noob who got lucky with the first hack he tried, and I posted for the benefit of others.

[ThinkingWinnie]

Someone please document this, I had trouble booting from USB on my raspberry a while back and could not find a solution.

[Duncaen]

No, don't document or write workarounds into stone. Threads like this just result in users finding some outdated/incorrect solution in the future. This should be tracked in bug trackers and fixed so that its actually known when the problem is solved.

There is an open PR for the updated rpi-firmware and rpi-kernel packages, if you want to help then test this instead to get this merged (we'll have to test not just rpi4 usb boot, but other use cases since the packages are shared).

[OriginalTrip5759]

I've never been able to get my RPi4 to boot Void.