adam at os.inf.tu-dresden.de
Tue Apr 1 23:44:48 CEST 2014
On Mon Mar 31, 2014 at 02:26:54 +0200, Ayad Mostafa wrote:
> i'm experimenting with ankh and so far failed to successfully ping morpork
> from my host machine. it seems that receive() blocks at wait_for_data()
> indefinitely. i can see irq activity on displayed on screen but wait_for_data()
> does not unblock.
I fear I cannot really help here. What you could try to check is whether
the corresponding trigger functionality for the wait_for_data() is
actually called to see if that might be a possible reason why this
function is not returning.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers