Hi,

On Sat Apr 26, 2014 at 16:34:03 +0900, Irvanda Kurniadi wrote:
> 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?

There's no L4Linux for amd64 at this point.