Re: UEFI
Matthias Lange <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <20181123092212.GA1072@triton> |
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, [email protected], +49-351-41 888 614 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth