Using L4Linux on Fiasco.OC - How?
adam at os.inf.tu-dresden.de
Tue Aug 10 19:29:45 CEST 2010
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
> 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 os.inf.tu-dresden.de
More information about the l4-hackers