search

GenPi64 / Build.Dist

Build scripts for building GenPi64 images.
Other
11 stars 10 forks source link

Boot the rpi with UEFI #62

Open jonesmz opened 3 years ago

jonesmz commented 3 years ago

https://github.com/pftf/RPi4/releases

This enables, among other things, PXE boot via UEFI instead of using the rpi's firmware, and allows for the use of UEFI bootloaders like grub in uefi mode, and systemd-boot.

Of course, keep in mind that the UEFI firmware is still experimental, so likely not suitable for most people. This issue is intended to be a placeholder for UEFI related discussions, and maybe an reminder to give UEFI stuff a try, but isn't meant to indicate that we'll ever support UEFI as the main way to boot.

samip5 commented 3 years ago

What would that actually require for the kernel to be UEFI bootable with this?

jonesmz commented 3 years ago

My understanding is that there are no changes to the kernel required for basic functionality.