L4Linux + Fiasco-ux

[Adam Lackorzynski]

On Wed Aug 09, 2006 at 16:06:19 +0200, Daniel Vandersee wrote:
> Hello,
> 
> when I try to run L4Linux (compiled for ux) on top of Fiasco-ux I get
> the following error:
> 
> $./lx con
> 
> ...
> 
> > fuxfprov| open "/home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2/rd1" by
> > fuxfprov: F.04
> > l4lx    | INITRD: Size of RAMdisk is 16384KiB
> > l4lx    | RAMdisk from 04800000 to 05800000 [16384KiB]
> > l4lx    | l4lx_thread_create: Created thread 0f.05 (timer.i0)
> > DMphys  | ds 67, client F.00, rights 0x0003, has 0x0001
> > DMphys  | [7.0] dm_phys/server/src/map.c:620:if_l4dm_generic_fault_component():
> > DMphys  |  DMphys: bad permissions
> > l4lx    | L4RM: dataspace at 0x00400000-0x005c5fff, id 67 at 7.00
> > l4lx    | L4RM: dataspace manager call failed ("permission denied")
> > l4lx    | L4RM: [PF] write at 0x004026d0, ip 0040b2bc, src F.02
> > l4lx    | [F.0] l4rm/lib/src/pagefault.c:78:__unknown_pf():
> > l4lx    |  unhandled page fault
> > 
> > --PANIC, 'g' for exit-------------------------------ESP:0000893c EIP:000223b3
> > (f.00) jdb:        
> 
> I tried several L4Linux configurations without success. Any help would
> be appreciated.

Please enable "Use ldso for loading" in the L4Linux configuration.
Should also be default by tomorrow.



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