Hi everybody!
Is it possible to run L4 on UEFI?
Kind regards Peter Wiehe
Hi,
On [22-11-2018 23:19], Peter Wiehe wrote:
Hi everybody!
Is it possible to run L4 on UEFI?
Yes! You can boot L4Re on UEFI systems, even where no CSM is provided. You just have to use grub2 and multiboot2.
Or do you mean booting L4Re from UEFI directly? There is some untested support for creating a single-image PE binary that in theory can be booted directly from the UEFI shell.
Cheers, Matthias.
Kind regards Peter Wiehe
l4-hackers@os.inf.tu-dresden.de