Build for x86_64 bare-metal machine

Mincheol Sung <[email protected]> Sun, 18 Sep 2022 16:05:52 -0400

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<CADRF_JGmfCNEhLvv1C=jjE3-_RvMf4Nrzg1B-4Fs3sMYG4gKRg@mail.gmail.com>

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
[email protected]
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers