Skip to content

Support badged SMC caps to restrict SMC function IDs - #589

Open
midnightveil wants to merge 5 commits into
seL4:mainfrom
au-ts:julia/badged-smc
Open

Support badged SMC caps to restrict SMC function IDs#589
midnightveil wants to merge 5 commits into
seL4:mainfrom
au-ts:julia/badged-smc

Breaking: remove allow-all SMC attribute to PD

3ea486d
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 12, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO