UEFI L4 image?

[Matthias Lange]

Hi Peter,

On [25-11-2018 01:08], Peter Wiehe wrote:
> Hello,
> 
> can you give me a link to an UEFI flat PE image of L4Re? If that's not
> available, then perhaps a link to instructions how to produce one
> myself?

It seems that bit rot has taken its toll and the support is currently broken.

Is there a specific reason you want to use the PE image directly?

In theory this should work from the L4 build directory

  $~: make efiimage E=hello

This creates a single PE image (images/bootstrap.efiimage) which contains all
of the required modules.

Regards,
Matthias.

> Kind regards
> Peter