L4Linux on amd64 arch

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Apr 28 00:44:53 CEST 2014


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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list