L4Linux on amd64 arch

[Irvanda Kurniadi]

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?

thanks,

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