Startup help for L4Linux

Adam Lackorzynski adam at
Mon Jun 11 22:22:34 CEST 2012

On Sat Jun 09, 2012 at 22:08:05 +0200, Andrej S wrote:
> I'm absolutely new to L4 and need some startup help.
> I'm able to build Fiasco with L4Re and L4Linux, but I have no plan,
> how to bind them together. I miss some simple how-to, to get an
> instance of L4Linux on top of Fiasco like bootable image as well as
> how to run it under Fiasco-UX

The snapshot has setup routines that build a runnable configuration with
the necessary paths set. Basic configurations (including ones for
L4Linux) are in l4/conf/exmaples. l4/conf/Makeconf.boot is the central
file to configure search paths for finding any files and setting up
options for Qemu etc. Call 'make help' in root directory of the l4 build
tree (for example obj/l4/x86 in the snapshot layout) to see a list of
possible image generation targets. UX and running with Qemu is started
the same way.

Adam                 adam at

More information about the l4-hackers mailing list