ferros icon indicating copy to clipboard operation
ferros copied to clipboard

Published 20 hours ago • verified publisher icon auxoncorp

`FaultReplyEndpoint::save_caller_and_create` should return an SeL4Error, not a KernelError.

Open pittma opened this issue 5 years ago • 0 comments

https://github.com/auxoncorp/ferros/blob/60ccc392d2f1d3ab99dd0de8bf7740034ec30273/src/cap/fault_reply_endpoint.rs#L22-L24

pittma avatar Jul 24 '19 18:07 pittma