Invalid l4x_hybrid_return ?
adam at os.inf.tu-dresden.de
Fri Aug 4 19:22:25 CEST 2006
On Fri Aug 04, 2006 at 14:06:00 +0100, Oskar Senft wrote:
> >> 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?
After looking at the binary I don't see an obvious problem. Can you send
me all the binaries of the setup so I can reproduce this? I'd prefer an
ISO image bootable in some VM or at least all the necessary binaries and
configfile put nicely together in some dirs and tar'ed up. Guessing from
the directory names your software is a bit older so I cannot take my
binaries. Also, the bd driver works fine for me, just verified.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers