l4Linux problems.
Stefan Kalkowski
stefan.kalkowski at ...1...
Fri May 13 22:19:50 CEST 2011
Hello Daniel,
On 05/13/2011 06:14 PM, Daniel Waddington wrote:
> Stefan, OK ;-( here is the new output.... I tried this on qemu and
> virtualbox, I tried vanilla Fiasco.OC and our Fiasco.OC - all the same.
I guess you've updated your already existing subversion checkout, right?
If you've done so, you have to do 'make prepare' once again in the
ports-foc directory to re-apply the last changes to the L4Linux contrib
code. After that please do a 'make clean' in your build-directory before
issueing 'make run/l4linux' once again.
Sorry, for not mentioning that in my last post.
>
> [init -> vmlinux] Cannot determine physical address for dataspace Binary!
> [init -> vmlinux] error: failed to get physical address for 400000.
>
> does look healthy.
this warning will remain, and isn't a real problem, it will only prevent
L4Linux doing DMA with any memory regions of the loaded elf-sections.
Regards
Stefan
> ??
> Daniel
>
> int main(): --- create local services ---
> int main(): --- start init ---
> int main(): transferred 450 MB to init
> int main(): --- init created, waiting for exit condition ---
> [init] Could not open file "ldso"
> [init -> vmlinux] Region map:
> [init -> vmlinux] 0x00000000 - 0x00001000 [reserved]
> [init -> vmlinux] 0x00001000 - 0x00005000 [unused]
> [init -> vmlinux] 0x00005000 - 0x00006000 [KIP]
> [init -> vmlinux] 0x00006000 - 0x00400000 [unused]
> [init -> vmlinux] 0x00400000 - 0x00754000 [Binary]
> [init -> vmlinux] 0x00754000 - 0x40000000 [unused]
> [init -> vmlinux] 0x40000000 - 0x50000000 [Thread Context Area]
> [init -> vmlinux] 0x50000000 - 0xffffffff [unused]
> [init -> vmlinux] ======> L4Linux 2.6 starting... <========
> [init -> vmlinux] Linux version 2.6.37-l4+ (dwaddington at ...70...) (gcc
> version 4.4.5 (GCC) ) #2 Fri May 13 09:05:20 PDT 2011
> [init -> vmlinux] Binary name: vmlinux
> [init -> vmlinux] Linux kernel command line (3 args): mem=128M
> l4x_rd=initrd.gz text
> [init -> vmlinux] CPU mapping (l:p)[1]: 0:0
> [init -> vmlinux] Image: 00401000 - 00754000 [3404 KiB].
> [init -> vmlinux] Areas: Text: 00401000 - 0067f000 [2552kB] (a bit
> longer)
> [init -> vmlinux] Data: 0067f000 - 006a018c [132kB]
> [init -> vmlinux] Initdata: 006a8000 - 006d2000 [168kB]
> [init -> vmlinux] BSS: 006d2000 - 00743144 [452kB]
> [init -> vmlinux] l4util_cpu_capabilities: Not implemented yet!
> [init -> vmlinux] gs=43 fs=43
> [init -> vmlinux] l4io_get_root_device: Not implemented yet!
> [init -> vmlinux] Device scan:
> [init -> vmlinux] l4io_iterate_devices: Not implemented yet!
> [init -> vmlinux] l4x_fiasco_gdt_entry_offset = 9
> [init -> vmlinux] l4lx_thread_name_set: Not implemented yet!
> [init -> vmlinux] main thread will be c
> [init -> vmlinux] l4x_register_pointer_section: addr = 00400000 size =
> 3489792
> [init -> vmlinux] section-with-init: virt: 400000 to 753fff [3408 KiB]
> [init -> vmlinux] Cannot determine physical address for dataspace Binary!
> [init -> vmlinux] error: failed to get physical address for 400000.
> [init -> pci_drv] PCI driver started
> [init -> vmlinux] l4x_linux_startup: thread c.
> [init -> vmlinux] main thread: received startup message.
> [init -> vmlinux] thread=c000 cpu=0
> [init -> vmlinux] utcb bff00200
> [init -> vmlinux] l4x_setup_memory: Forcing superpages for main memory
> [init -> vmlinux] Main thread running, waiting...
> [init -> vmlinux] Main memory size: 128MB
> unmapping of managed dataspaces not yet supported
> [init -> vmlinux] Main memory: virt: 8000000 to fffffff [131072 KiB]
> [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and
> 5-button support.
> [init -> ps2_drv] Using keyboard with scan code set 1 (xlate).
> [init -> vmlinux] Main memory: Phys: 0x024d0000 to 0x0a4d0000, Size:
> 134217728
> [init -> vmlinux] Filling lower ptabs...
> [init -> vmlinux] Done (0 entries).
> [init -> vmlinux] l4x_register_pointer_section: addr = 00400000 size =
> 3489792
> [init -> vmlinux] end: virt: 400000 to 753fff [3408 KiB]
> [init -> vmlinux] Cannot determine physical address for dataspace Binary!
> [init -> vmlinux] error: failed to get physical address for 400000.
> [init -> vmlinux] l4x_rd_path: initrd.gz
> [init -> vmlinux] Loading: initrd.gz
> no RM attachment (READ pf_addr=162f000 pf_ip=5aff50 from 508000)
> invalid signal-context capability
>
>
> On 05/13/2011 03:22 AM, Stefan Kalkowski wrote:
>> Hi Daniel,
>>
>> the new version is now available in our subversion repository. Can you
>> please give it a try.
>>
>> Thank you for your patience.
>>
>> Stefan
>>
>> On 05/12/2011 10:45 PM, Daniel Waddington wrote:
>>> OK Stefan,
>>> Thanks.
>>>
>>> Daniel
>>>
>>> On 05/12/2011 01:02 PM, Stefan Kalkowski wrote:
>>>> Hi Daniel,
>>>>
>>>> thank you for providing the image! When investigating the error I could
>>>> see that an exception is raised, when the first VCPU gets constructed
>>>> probably due to a memory region conflict in its thread context area.
>>>>
>>>> Currently, I'm producing an improved memory model for Genode/L4Linux,
>>>> because the current subversion version implies some shortcomings that
>>>> might cause region-conflicts between L4Linux memory management and the
>>>> Genode framework, although in theory the thread context area should be
>>>> exempted hereby.
>>>>
>>>> Nevertheless, I would like to share the improved version with you, as
>>>> soon as its available (I assume to be ready tomorrow). Probably this
>>>> will fix the issue.
>>>>
>>>> Regards
>>>> Stefan
>>>>
>>>> On 05/12/2011 06:19 PM, Daniel Waddington wrote:
>>>>> Hi Stefan,
>>>>> Do you have a google account? - I have just shared the files on google
>>>>> docs.
>>>>>
>>>>> Thanks
>>>>> Daniel
>>>>>
>>>>> On 05/12/2011 02:49 AM, Stefan Kalkowski wrote:
>>>>>> Hi Daniel,
>>>>>>
>>>>>> that's strange, I use the same run-script with the same initrd.gz. Could
>>>>>> you please somehow provide your resulting iso-image and the unstripped
>>>>>> linux-binary for debugging purposes?
>>>>>>
>>>>>> the image is located at:
>>>>>> [build-dir]/var/run/l4linux.iso
>>>>>>
>>>>>> the linux-binary at:
>>>>>> [build-dir]/bin/vmlinux
>>>>>>
>>>>>> Regards
>>>>>> Stefan
>>>>>>
>>>>>> On 05/11/2011 07:55 PM, Daniel Waddington wrote:
>>>>>>> Hi,
>>>>>>> I am testing the new L4Linux on Fiasco.OC capabilities with the
>>>>>>> initrd.gz from genode.org/files.
>>>>>>>
>>>>>>> Everything builds OK (32bit target on a 64bit host) but I run it (via
>>>>>>> 'make run/l4linux') I get the below output.
>>>>>>>
>>>>>>> Any ideas?
>>>>>>> Daniel
>>>>>>>
>>>>>>> int main(): --- create local services ---
>>>>>>> int main(): --- start init ---
>>>>>>> int main(): transferred 450 MB to init
>>>>>>> int main(): --- init created, waiting for exit condition ---
>>>>>>> [init] Could not open file "ldso"
>>>>>>> [init -> pci_drv] PCI driver started
>>>>>>> [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and
>>>>>>> 5-button support.
>>>>>>> [init -> ps2_drv] Using keyboard with scan code set 1 (xlate).
>>>>>>> [init -> vmlinux] Region map:
>>>>>>> [init -> vmlinux] 0x00000000 - 0x00001000 [reserved]
>>>>>>> [init -> vmlinux] 0x00001000 - 0x00006000 [genode-heap]
>>>>>>> [init -> vmlinux] 0x00006000 - 0x00400000 [unused]
>>>>>>> [init -> vmlinux] 0x00400000 - 0x00754000 [Binary]
>>>>>>> [init -> vmlinux] 0x00754000 - 0x40000000 [unused]
>>>>>>> [init -> vmlinux] 0x40000000 - 0x50000000 [Context area]
>>>>>>> [init -> vmlinux] 0x50000000 - 0x50100000 [l4lx-heap]
>>>>>>> [init -> vmlinux] 0x50100000 - 0xffffffff [unused]
>>>>>>> [init -> vmlinux] ======> L4Linux 2.6 starting...<========
>>>>>>> [init -> vmlinux] Linux version 2.6.37-l4+ (dwaddington at ...70...) (gcc
>>>>>>> version 4.4.5 (GCC) ) #11 Wed May 11 10:47:10 PDT 2011
>>>>>>> [init -> vmlinux] Binary name: vmlinux
>>>>>>> [init -> vmlinux] Linux kernel command line (3 args): mem=128M
>>>>>>> l4x_rd=initrd.gz text
>>>>>>> [init -> vmlinux] CPU mapping (l:p)[1]: 0:0
>>>>>>> [init -> vmlinux] Image: 00401000 - 00754000 [3404 KiB].
>>>>>>> [init -> vmlinux] Areas: Text: 00401000 - 00680000 [2556kB] (a bit
>>>>>>> longer)
>>>>>>> [init -> vmlinux] Data: 00680000 - 006a01cc [128kB]
>>>>>>> [init -> vmlinux] Initdata: 006a8000 - 006d2000 [168kB]
>>>>>>> [init -> vmlinux] BSS: 006d2000 - 00743604 [453kB]
>>>>>>> [init -> vmlinux] l4util_cpu_capabilities: Not implemented yet!
>>>>>>> [init -> vmlinux] gs=43 fs=43
>>>>>>> [init -> vmlinux] l4io_get_root_device: Not implemented yet!
>>>>>>> [init -> vmlinux] Device scan:
>>>>>>> [init -> vmlinux] l4io_iterate_devices: Not implemented yet!
>>>>>>> [init -> vmlinux] l4x_fiasco_gdt_entry_offset = 9
>>>>>>> [init -> vmlinux] l4lx_thread_name_set: Not implemented yet!
>>>>>>> no RM attachment (READ pf_addr=20 pf_ip=50abca from 508000)
>>>>>>> invalid signal-context capability
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> ------------------------------------------------------------------------------
>>>>>>> Achieve unprecedented app performance and reliability
>>>>>>> What every C/C++ and Fortran developer should know.
>>>>>>> Learn how Intel has extended the reach of its next-generation tools
>>>>>>> to help boost performance applications - inlcuding clusters.
>>>>>>> http://p.sf.net/sfu/intel-dev2devmay
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> _______________________________________________
>>>>>>> Genode-main mailing list
>>>>>>> Genode-main at lists.sourceforge.net
>>>>>>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>>>> ------------------------------------------------------------------------------
>>>>> Achieve unprecedented app performance and reliability
>>>>> What every C/C++ and Fortran developer should know.
>>>>> Learn how Intel has extended the reach of its next-generation tools
>>>>> to help boost performance applications - inlcuding clusters.
>>>>> http://p.sf.net/sfu/intel-dev2devmay
>>>>> _______________________________________________
>>>>> Genode-main mailing list
>>>>> Genode-main at lists.sourceforge.net
>>>>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>>>>
>>> ------------------------------------------------------------------------------
>>> Achieve unprecedented app performance and reliability
>>> What every C/C++ and Fortran developer should know.
>>> Learn how Intel has extended the reach of its next-generation tools
>>> to help boost performance applications - inlcuding clusters.
>>> http://p.sf.net/sfu/intel-dev2devmay
>>> _______________________________________________
>>> Genode-main mailing list
>>> Genode-main at lists.sourceforge.net
>>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>>
>
> ------------------------------------------------------------------------------
> Achieve unprecedented app performance and reliability
> What every C/C++ and Fortran developer should know.
> Learn how Intel has extended the reach of its next-generation tools
> to help boost performance applications - inlcuding clusters.
> http://p.sf.net/sfu/intel-dev2devmay
> _______________________________________________
> Genode-main mailing list
> Genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
--
Stefan Kalkowski
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
More information about the users
mailing list