zlacker

I don't think the Raspberry Pi does UEFI boot by default? You'd have to put in a SD card with Raspberry Pi-specific boot support, including proprietary blobs.

>>zozbot+(OP)
Yes, that's true; my point is that the pi will happily boot whatever, unlike the Pinebook Pro which has a default bootloader on internal storage that ignores the SD card. So a distro/OS has to add the pi-specific bootloader to their SD image, and that's a pain, but they can't do anything to make the PBP work, because the machine won't even pay attention to their SD image.

EDIT: Actually I guess the Pi 4 added an onboard flash chip with an early bootloader, but I can't figure out if it impacts the boot order or changes how hard SD boot is: https://www.raspberrypi.com/documentation/computers/raspberr...

>>yjftsj+01
I haven't seen U-Boot in a while (I use levinboot on PBP), but if it has LCD and USB support already on PBP, then the user should be able to just self-erase the bootloader from eMMC using a command or two and then be free to boot from SD card or USB. Or just erase it from the booted default Manjaro.