L4Linux on amd64 arch

Irvanda Kurniadi irvanda.k at gmail.com
Sat Apr 26 09:34:03 CEST 2014

Hi hackers,

Is there anyone who has tried to build l4linux on amd64? I compiled the new
snapshot of L4re, but there is no l4linux for amd64. Can I barely compile
this l4linux in l4re-amd64?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140426/7f069da2/attachment.html>

More information about the l4-hackers mailing list