Startup help for L4Linux

Adam Lackorzynski adam at
Wed Sep 12 22:38:34 CEST 2012

On Wed Aug 29, 2012 at 22:30:42 +0200, Andrej S wrote:
> I have build some packages on my self on-top of bare fiasco, but
> however I didn't get l4linux to run.
> I got snapshot, I configure it, like readmy says me, with 'make setup'
> with all default settings and paths. Then I build it with 'make'.
> What should be my next steps to run l4linux?

In the snapshot, go to obj/l4/x86 and run 'make qemu'. This will get you
a menu of possible setups to boot. There's one with L4Linux too.

Adam                 adam at

More information about the l4-hackers mailing list