You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am looking at the error codes on page 64 of the L4 eXperimental Kernel Reference Manual
Version X.2 Document Revision 6 November 17, 2006
The error code values and descriptions in that document do not match the F9 implementation in the file user/include/l4/thread.h
I encountered this issue while debugging an IPC timeout failure when invoking L4_Receive_Timeout(). The error use case was that the sending thread did not call L4_Send() prior to the receiving thread timeout duration expiring. The error message in this case was ' ErrorCode = 0x3 l4_error_invalid_space'. In addition, the thread (app) crashed rather than continuing to process the error and recovering to retry the L4_Receive_Timeout().
My questions:
1 - Should the error codes and descriptions match the aforementioned document?
2 - Should a crash/dump occur upon a timeout when calling L4_Receive_Timeout()?
Thank you.
The text was updated successfully, but these errors were encountered:
I am looking at the error codes on page 64 of the L4 eXperimental Kernel Reference Manual
Version X.2 Document Revision 6 November 17, 2006
The error code values and descriptions in that document do not match the F9 implementation in the file user/include/l4/thread.h
I encountered this issue while debugging an IPC timeout failure when invoking L4_Receive_Timeout(). The error use case was that the sending thread did not call L4_Send() prior to the receiving thread timeout duration expiring. The error message in this case was ' ErrorCode = 0x3 l4_error_invalid_space'. In addition, the thread (app) crashed rather than continuing to process the error and recovering to retry the L4_Receive_Timeout().
My questions:
1 - Should the error codes and descriptions match the aforementioned document?
2 - Should a crash/dump occur upon a timeout when calling L4_Receive_Timeout()?
Thank you.
The text was updated successfully, but these errors were encountered: