Hi!
l4x_hybrid_return: Invalid hybrid return for 21.03 (0x00000000, d, 402, -1, b7a2a25e)! l4x_hybrid_return: Currently running: 00.00
I don't know what this error means and how we produced that. We use the L4Linux L4BD as shipped with L4Linux without any patches.
Is that reproducable?
Yes it is. I am currently trying to figure out, if the IPC call that should occur at this point really is executed.
Could you give me a point where to start looking for a problem?
Regards Oskar.