Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
pittma opened this issue Jul 24, 2019 · 0 comments
Open

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

pittma opened this issue Jul 24, 2019 · 0 comments
Assignees
@ZackPierce

Comments

@pittma
Copy link
Contributor

pittma commented Jul 24, 2019

ferros/src/cap/fault_reply_endpoint.rs

Lines 22 to 24 in 60ccc39

pub fn save_caller_and_create(
slot: LocalCNodeSlot,
) -> Result<LocalCap<FaultReplyEndpoint>, KernelError> {

@ZackPierce ZackPierce self-assigned this Aug 1, 2019
@mullr mullr changed the title FaultReplyEndpoint::save_caller_and_create should rerturn an SeL4Error, not a KernelError. FaultReplyEndpoint::save_caller_and_create should return an SeL4Error, not a KernelError. Aug 15, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ZackPierce ZackPierce

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ZackPierce @pittma