Using L4Linux on Fiasco.OC - How?

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

program.

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.

HTH,

Adam

-- 

Adam                 adam at os.inf.tu-dresden.de

  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

http://os.inf.tu-dresden.de/pipermail/l4-hackers/2010/004456.html