Skip to content

RFC-25: Add post-initialiser to Microkit - #40

Open
terryzbai wants to merge 3 commits into
seL4:mainfrom
au-ts:post-initialisation-rfc
Open

RFC-25: Add post-initialiser to Microkit#40
terryzbai wants to merge 3 commits into
seL4:mainfrom
au-ts:post-initialisation-rfc

Change suggestion for non-capability-required cases

5aea5e4
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 14, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO