Re: Re: two_linux_panda can not work rightly?

longjks longjks at ...176...
Fri Mar 22 13:09:32 CET 2013

thanks, it work well now



发件人: Alexander Boettcher 
发送时间: 2013-03-21  20:00:37 
收件人: Genode OS Framework Mailing List 
主题: Re: two_linux_panda can not work rightly? 
thanks for your excellent bug report!
On 20.03.2013 15:32, longjks wrote:
> I have the log of  two_linux_panda.img.gz starting on Pandaboard below:
> this is log of two_linux_panda.img.gz that I built:
> [init -> vmlinux.1] Device scan done.
> [init -> vmlinux.1] attach failed start=10000
> [init] vmlinux.1: no route to service "Timer"
> [init -> vmlinux.1] C++ runtime: Genode::Parent::Service_denied
> [init -> vmlinux.1] void* abort(): abort called
This seems to be the issue.
> [init -> vmlinux.2] l4io_get_root_device: Not implemented yet!
> [init -> vmlinux.2] Device scan:
> [init -> vmlinux.2] l4io_iterate_devices: Not implemented yet!
> [init -> vmlinux.2] Device scan done.
> [init -> vmlinux.2] attach failed start=10000
> [init] vmlinux.2: no route to service "Timer"
> [init -> vmlinux.2] C++ runtime: Genode::Parent::Service_denied
> [init -> vmlinux.2] void* abort(): abort called
Same for vmlinux.2.
Please apply following patch.
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
Genode-main mailing list
Genode-main at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list