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