Invalid l4x_hybrid_return ?

[Oskar Senft]

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.

-- 
Sirrix AG security technologies - http://www.sirrix-ag.de
Oskar Senft eMail: o.senft at sirrix.com
Tel +49(681) 936 251 - 119    Fax +49(681) 936 251 - 500
get public key from keyserver
Fingerprint 6FC6 3E44 233F 7F4B 33C7  A8D0 2EDA F3BA B5A3 0BA4

This email may contain confidential legal information: if received by 
not authorised person please advice our firm and destroy it. Anyway 
every transmitted information shall be treated strictly confidentialy.