L4 Linux and compatibility with other L4 servers

[Adam Lackorzynski]

On Fri May 13, 2005 at 14:52:55 +0100, Tiago Jorge wrote:
> i'm using this servers:
> 
> title            Tests
> root            (hd0,0)
> kernel          /home/tiago/fiasco_builddir/rmgr -sigma0
> modaddr         0x02000000
> module          /home/tiago/fiasco_builddir/main -nokdb -nowait 
> -serial_esc -comspeed 115200 -comport 1
> module          /home/tiago/fiasco_builddir/sigma0
> module          /home/tiago/fiasco_builddir/names
> module          /home/tiago/fiasco_builddir/dm_phys
> module          /home/tiago/fiasco_builddir/l4io
> module          /home/tiago/fiasco_builddir/rtc
> module          /home/tiago/fiasco_builddir/name_server
> module          /home/tiago/fiasco_builddir/flips-lxdrv
> module          /home/tiago/fiasco_builddir/mini_ifconfig eth0 
> 10.10.5.197 255.255.0.0 10.10.255.255
> module          /home/tiago/fiasco_builddir/WOO 10.10.5.197 eth0
> module          /home/tiago/fiasco_builddir/vmlinuz.V2 no-scroll no-hlt 
> l4irqack=linux root=/dev/hda1
> 
> but as i expected there are many pagefaults and resources allocated.
> 
> How can i configure this servers (not my own of course :) ) so that they 
> don't interfere with the l4linux work but still do their work(mainly 
> networking with FLIPS)?
> 
> for example, when put only this servers...
> 
> kernel          /home/tiago/fiasco_builddir/rmgr -sigma0
> modaddr         0x02000000
> module          /home/tiago/fiasco_builddir/main -nokdb -nowait 
> -serial_esc -comspeed 115200 -comport 1
> module          /home/tiago/fiasco_builddir/sigma0
> module          /home/tiago/fiasco_builddir/names
> module          /home/tiago/fiasco_builddir/dm_phys
> 
> the module dm_phys and l4linux start to page fault.

Configuring the system in a way that this works together is possible
but tricky.

But there's a better way, just use the L4Env version of L4Linux, then
L4Linux uses dm_phys to get its memory so that they're not conflicting.
Those types of problems should go away then.




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