issue while running l4linux on fiasco_x86_32

[Sebastian Sumpf]

Hi,

On 05/24/2013 05:41 PM, Alexander Tarasikov wrote:
> Hi! Could you please explain why Genode freezes silently in this case
> instead of throwing
> a runtime config parsing error?

It's because the L4Linux-stub driver waits for the announcement of a Nic
session, which does not happen (see:
ports-foc/src/lib/l4lx/genode_net.cc). The 'Nic::Connection' does not
timeout or throw an error, as of now, it simply waits.

Regards,

Sebastian


-- 
Sebastian Sumpf
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