Skip to content

capdl: support badged smc caps - #371

Merged
nspin merged 1 commit into
seL4:mainfrom
au-ts:julia/badged-smc
Aug 10, 2026
Merged

capdl: support badged smc caps#371
nspin merged 1 commit into
seL4:mainfrom
au-ts:julia/badged-smc

Conversation

@midnightveil

@midnightveil midnightveil commented Aug 10, 2026

Copy link
Copy Markdown
Contributor

Per the SMC RFC, a badged SMC cap allows users to restrict invocations on these caps to certain SMC function IDs.

A badge of 0 does not restrict the SMC cap.

The C capDL tool implements the same thing.

Per the SMC RFC, a badged SMC cap allows users to restrict
invocations on these caps to certain SMC function IDs.

A badge of 0 does not restrict the SMC cap.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil
midnightveil requested a review from nspin as a code owner August 10, 2026 06:02
@nspin

nspin commented Aug 10, 2026

Copy link
Copy Markdown
Member

I’ll address that unrelated CI issue (caused by an upstream crates.io dependency having been yanked) this week, then we can merge this.

@midnightveil

Copy link
Copy Markdown
Contributor Author

Would it be possible to merge this and fix that later?

@nspin

nspin commented Aug 10, 2026

Copy link
Copy Markdown
Member

Given that all other checks ran and passed, yes, I’m okay with that

@nspin
nspin merged commit 7a56b4f into seL4:main Aug 10, 2026
13 of 14 checks passed
@midnightveil
midnightveil deleted the julia/badged-smc branch August 10, 2026 09:37
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.

2 participants