- Notifications
You must be signed in to change notification settings - Fork 116
Pull requests: seL4/l4v
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
arch-split Schedule_R arch-split splitting proofs into generic and architecture dependent
#948 opened Dec 18, 2025 by Xaphiosis Loading…
AArch64: support SMC calls in verified kernel Aarch64 AArch64-specific proofs, specs, etc seL4-PR requires merging a corresponding seL4 pull request
#945 opened Dec 14, 2025 by lsf37 Loading…
AArch64 Information Flow: initial setup Aarch64 AArch64-specific proofs, specs, etc
#944 opened Dec 6, 2025 by ryybrr Loading…
c-parser: add support for _Static_assert statements C-parser anything about the C/Simpl parser
#917 opened Aug 15, 2025 by midnightveil Loading…
Prove related to `rt` branch and mixed-criticality systems
decodeSchedControl_configureFlags_ccorres and decodeInvocation_ccorres MCS #902 opened Jun 19, 2025 by michaelmcinerney Loading…
use mlton from Isabelle distribution build system related to building the proofs or kernel
#895 opened May 5, 2025 by lsf37 Loading…
MCS: Remove grant right from reply cap MCS related to `rt` branch and mixed-criticality systems seL4-PR requires merging a corresponding seL4 pull request
#808 opened Aug 2, 2024 by corlewis Loading…
Make 'a signed word have a different name than 'a word
#769 opened Jun 26, 2024 by simonjwinwood Loading…
MCS: set handler params when configuring TCBs MCS related to `rt` branch and mixed-criticality systems
ProTip! Follow long discussions with comments:>50.