Skip to content

tool: don't grant PDs their parent's fault EP cap - #613

Merged
dreamliner787-9 merged 1 commit into
seL4:mainfrom
au-ts:remove_unnecessary_cap
Sep 28, 2026
Merged

tool: don't grant PDs their parent's fault EP cap#613
dreamliner787-9 merged 1 commit into
seL4:mainfrom
au-ts:remove_unnecessary_cap

tool: don't grant PDs their parent's fault EP cap

e15a6d6
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 28, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO