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