UEFI

[Matthias Lange]

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


-- 
Matthias Lange, matthias.lange at kernkonzept.com, +49-351-41 888 614

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth