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 -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de