L4Linux on amd64 arch

[Adam Lackorzynski]

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.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/