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@oak) (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@oak) (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 >>>>>>> [email protected] >>>>>>> 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 >>>>> [email protected] >>>>> 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 >>> [email protected] >>> 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 > [email protected] > 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 ------------------------------------------------------------------------------ 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 [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
