L4Linux + Fiasco-ux

[Daniel Vandersee]

Adam Lackorzynski wrote:
> On Wed Aug 09, 2006 at 17:47:16 +0200, Daniel Vandersee wrote:
> 
>>Adam Lackorzynski wrote:
>>
>>>Please enable "Use ldso for loading" in the L4Linux configuration.
>>>Should also be default by tomorrow.
>>>
>>
>>Thank you, but now the loader complains about a missing libld-l4.s.so
>>which I can't find anywhere.
> 
> 
> libld-l4.s.so is built in the ldso package.
>  


I dowloaded the ldso package and recompiled l4linux (with ldso) as well
as l4env, but I'm afraid this was wasn't the problem - I still get the
same error.

> loader  | vmlinuz26.ux: Starting application using libld-l4.s.so
> loader  | vmlinuz26.ux,#f: Loading binary
> fuxfprov| open "/home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2/libld-l4
> fuxfprov: .s.so" by D.02
> loader  | vmlinuz26.ux,#f: Loading ldso
> loader  | vmlinuz26.ux,#f: Starting libld-l4.s.so at 00013e40 via 0000bba8
> fuxfprov| open "./libloader.s.so" by F.00
> fuxfprov| Can't open "./libloader.s.so": -2
> fuxfprov| open "/home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2/./libloa
> fuxfprov: der.s.so" by F.00
> fuxfprov| open "vmlinuz26.ux" by F.00
> fuxfprov| Can't open "vmlinuz26.ux": -2
> fuxfprov| open "/home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2/vmlinuz2
> fuxfprov: 6.ux" by F.00
> l4lx    | ======> L4Linux 2.6 starting... <========
> l4lx    | Linux version 2.6.17-l4 (user at kubuntu) (gcc-Version 3.3.6 (Ubuntu 1:
> l4lx    : 3.3.6-8ubuntu1)) #4 Wed Aug 9 18:41:29 CEST 2006
> l4lx    | Binary name: vmlinuz26.ux
> l4lx    | Kernel command line (9 args): mem=64M load_ramdisk=1 ramdisk_size=163
> l4lx    : 84 root=1:0 l4env_rd=/home/user/ext/l4env_060809/DROPS/bin/x86_58
> l4lx    : 6/l4v2/rd1 panicblink=0 lang=de video=l4fb:640x400 at 16,xpos:10,ypos:10
> l4lx    : ,refreshsleep:150,title:DamnSmallLinux noirq
> l4lx    | Image: 00400000 - 0068f000 [2620 KiB].
> l4lx    | Areas: Text:     00400000 - 005c6000 [1816kB] (a bit longer)
> l4lx    |        Data:     005c6000 - 006025ac [241kB]
> l4lx    |        Initdata: 00606000 - 00626000 [128kB]
> l4lx    |        BSS:      00626000 - 0068d1c0 [412kB]
> l4lx    | l4lx_thread_create: Created thread 0f.03 (tamer)
> l4lx    | Using tamed mode.
> l4lx    | l4lx_thread_create: Created thread 0f.04 (server)
> l4lx    | main thread will be 0f.04
> l4lx    | l4env_register_pointer_section: addr = 00604000 size = 569344
> l4lx    |      sec-w-init: virt: 0x00604000 to 0x0068efff [556 KiB]
> l4lx    | Noncontiguous region for sec-w-init
> l4lx    |      sec-w-init: Number of physical regions: 2, 569344 Bytes
> l4lx    |      sec-w-init: 1: Phys: 0x0141c000 to 0x0148d000, Size:   462848
> l4lx    |      sec-w-init: 2: Phys: 0x00ae6000 to 0x00b00000, Size:   106496
> l4lx    | l4env_linux_startup thread 4.
> l4lx    | main thread: received startup message.
> l4lx    | Main thread running, waiting...
> l4lx    | setup_l4env_memory: Forcing superpages for main memory
> l4lx    | Main memory size: 64MB
> l4lx    |     Main memory: virt: 0x00800000 to 0x047fffff [65536 KiB]
> l4lx    |     Main memory: Number of physical regions: 1, 67108864 Bytes
> l4lx    |     Main memory: 1: Phys: 0x0a400000 to 0x0e400000, Size: 67108864
> l4lx    | Filling lower ptabs...
> l4lx    | Done (1260 entries).
> l4lx    | l4env_rd_path: /home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2
> l4lx    : /rd1
> l4lx    | Loading: /home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2/rd1
> 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 81, 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 81 at 7.00
> l4lx    | L4RM: dataspace manager call failed ("permission denied")
> l4lx    | L4RM: [PF] write at 0x00402860, 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:00629d20 EIP:a00bdcd3
> (f.00) jdb: ^

Kind regards,
Daniel