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@...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
Hi Daniel,
Maybe you could try building LDSO and seeing if that fixes some of your erros?
-Sam Kerr
From: Daniel Waddington [mailto:d.waddington@...60...] Sent: Wednesday, May 11, 2011 1:56 PM To: Genode OS Framework Mailing List Subject: l4Linux problems.
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@...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
Hi Sam, I did try this also it didn't help. I tried on VirtualBox -- same result. ;-(
Daniel
On 05/11/2011 02:52 PM, Sam Kerr wrote:
Hi Daniel,
Maybe you could try building LDSO and seeing if that fixes some of your erros?
-Sam Kerr
*From:*Daniel Waddington [mailto:d.waddington@...60...] *Sent:* Wednesday, May 11, 2011 1:56 PM *To:* Genode OS Framework Mailing List *Subject:* l4Linux problems.
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@...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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi Sam,
LDSO isn't supported by now for Genode/Fiasco.OC, please have a look at the current limitations of Genode's Fiasco.OC port:
http://genode.org/documentation/release-notes/11.02#section-7
Nevertheless, in all likelihood this problem isn't related to LDSO. In general, init always gripes at startup, when there is no ldso binary. But it only needs it, when it has to start dynamically linked binaries - whereby the current version of L4Linux for Genode is statically linked.
Regards Stefan
On 05/11/2011 11:52 PM, Sam Kerr wrote:
Hi Daniel,
Maybe you could try building LDSO and seeing if that fixes some of your erros?
-Sam Kerr
*From:*Daniel Waddington [mailto:d.waddington@...60...] *Sent:* Wednesday, May 11, 2011 1:56 PM *To:* Genode OS Framework Mailing List *Subject:* l4Linux problems.
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@...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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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@...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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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@...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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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@...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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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@...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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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@...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@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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
will do.
Daniel
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@...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@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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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.
[init -> vmlinux] Cannot determine physical address for dataspace Binary! [init -> vmlinux] error: failed to get physical address for 400000.
does look healthy. ?? 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@...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@...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@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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
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@...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@...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@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@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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi Stefan - yes this has fixed it! Nice job.
Daniel
On 05/13/2011 01:19 PM, Stefan Kalkowski wrote:
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@...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@...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@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@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@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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Daniel Waddington -
Sam Kerr -
Stefan Kalkowski