Skip to content

Conversation

@Kswin01
Copy link

@Kswin01 Kswin01 commented Jan 29, 2026

This PR adds support for debug exceptions in fault.rs. Changes mod.rs to use raw_param to add the r# prefix instead of format_ident as seL4_TCB_GetBreakpoint has a field type in it's return struct, which is a reserved name by the rust syn package.

I was curious of the benefit of still using format_ident directly, and not just using raw_param everywhere

Signed-off-by: Krishnan Winter <krishnan.winter@unsw.edu.au>
@Kswin01 Kswin01 requested a review from nspin as a code owner January 29, 2026 00:29
When an out param has the name type, it needs
to be escaped by prefixing the name with r#.

Signed-off-by: Krishnan Winter <krishnan.winter@unsw.edu.au>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant