Hi guys,
I am hanging out with L4, but couldn't find instructions/tutorials for building L4Re for an x86_64 bare-metal machine. Can you point me in the right direction? Thanks in advance.
Mincheol
Hi,
please have a look into Kernkonzept's github and their wiki on building L4Re [1]. This should get you started.
Best, Matthias.
[1] https://github.com/kernkonzept/manifest/wiki/BUILDING
On [18-09-2022 16:05], Mincheol Sung wrote:
Hi guys,
I am hanging out with L4, but couldn't find instructions/tutorials for building L4Re for an x86_64 bare-metal machine. Can you point me in the right direction? Thanks in advance.
Mincheol
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de