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@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.