Hello,

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.

Cheers,

Alex.

------------------------------------------------------------------------------

Everyone hates slow websites. So do we.

Make your web apps faster with AppDynamics

Download AppDynamics Lite for free today:

http://p.sf.net/sfu/appdyn_d2d_mar

_______________________________________________

Genode-main mailing list

Genode-main@lists.sourceforge.net

https://lists.sourceforge.net/lists/listinfo/genode-main