Hello Matthias,
2018-11-26 10:02 GMT+01:00, Matthias Lange matthias.lange@kernkonzept.com:
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.
If you mean why I don't want to build from source, it's simply to make my life easier :) If you mean why a single flat PE image instead of modules it's because I assume that is neccessary to run on UEFI not supporting Legacy BIOS. But maybe I assume wrong and UEFI can handle modules? (Maybe you don't call it modules but rather something different...)
Kind regards Peter