Using L4Linux on Fiasco.OC - How?

Adam Lackorzynski adam at
Tue Aug 10 19:29:45 CEST 2010

Hi Andreas,

On Mon Aug 09, 2010 at 15:37:42 +0200, Andreas Speier wrote:
> I just started porting some Projects running on L4Linux on the "old"
> Fiasco to Fiasco.OC with the current L4Linux version.
> Starting with the "hello" example of the documentation was no problem,
> but I could not find out how things have to be configured when using
> L4Linux.
> Which dependencies must be regarded to make it run properly?
> Is there any documentation I could use, or can anyone publish some
> example documentation and configuration to run L4Linux on Fiasco.OC?

The full snapshot (the big one) contains a simple L4Linux config without
any connection to anything else. There L4Linux is started as any other

For example to get a L4Linux with a framebuffer you can look at the
example in conf/examples/x86-fb.cfg and exchange the start of
ex_fb_spectrum with vmlinuz.

To give host devices to L4Linux, make sure to enable the virtual PCI bus
option in L4Linux. Then add a new virtual io bus in the config (in the
start script and in the io config) and plug the devices you want there
(e.g.  dev => wrap(hw-root.match("PCI/CC_02")); to get all PCI network
cards). Give this io-bus to L4Linux in the config script via
'vbus = io_busses.l4linux' in the caps listing of L4Linux.

Adam                 adam at

More information about the l4-hackers mailing list