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