Generating EFI files

Hello All,

While exploring and testing L4Re, I have also been testing some files 
from the AMD64 downloads:

https://l4re.org/download/snapshots/pre-built-images/amd64/

While currently the only the elf32 file do run a bit and the efi files 
are now known to have some problems, I was wondering how the efi files 
were generated.

I know  that in the build for l4re that you can use "make -j24" to build 
the core as well as "make qemu" to show some available examples that I 
am trying to also get to work, but I was wondering how these above 
"pre-built-images" were generated?

Also, I am very interested in the "l4re_vm-multi.efi" and 
"l4re_vm-multi-p2p.efi" in how they can be generated to run under QEMU 
as well as how to perhaps generate an x64  ISO that can be booted on 
real hardware.

These interest me a great deal and I would really be interested if 
someone might be able to explain them more to me, especially the "p2p" 
one since have an interest in p2p networks as well.

Thanks in advance and have a great day,
Lonnie

_______________________________________________
l4-hackers mailing list -- [email protected]
To unsubscribe send an email to [email protected]