Startup help for L4Linux

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




More information about the l4-hackers mailing list