- Notifications
You must be signed in to change notification settings - Fork685
Pull requests: seL4/seL4
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
statedata: clarify ksInterruptState assertions verificationNeeds formal verification input/change, or is motivated by verification
#1383 openedFeb 3, 2025 bymidnightveilLoading…
Flexible Untyped Memory Regions enhancement verificationNeeds formal verification input/change, or is motivated by verification
document words ordering for bitfield_gen docsManual and other documentation
#1362 openedDec 5, 2024 byyf13Loading…
[RFC-15] Add experimental CHERI support (hybrid kernel) new-platformplatform ports
#1344 openedNov 3, 2024 byheshamelmataryLoading…
FPU Context Switching hw-testsel4test hardware builds + runs for this PR verificationNeeds formal verification input/change, or is motivated by verification
aarch64/vcpu: refine guest vcpu context verificationNeeds formal verification input/change, or is motivated by verification
#1318 openedSep 13, 2024 byJorgeMVPLoading…
TCB_SetSchedParams: Change to match API reference MCSissues about the mixed-criticality system config verificationNeeds formal verification input/change, or is motivated by verification
#1312 openedAug 23, 2024 byalwin-joshyLoading…
microkit: remove const qualifiers from domain variables on-holdNot currently being worked on, but left open for later
Add new APIs for generating SGIs enhancement verificationNeeds formal verification input/change, or is motivated by verification
#1222 openedMar 14, 2024 bylsf37Loading…
Python: fix errors found by type checker cleanupCleanup of code, comments, docs ... hw-builddo all sel4test hardware builds on this PR
#1205 openedFeb 26, 2024 byaxel-hLoading…
morello: Add a new Morello hardware board platform new-platformplatform ports
#1174 openedJan 29, 2024 byheshamelmataryLoading…
morello: Add a new FVP platform new-platformplatform ports
#1173 openedJan 29, 2024 byheshamelmataryLoading…
morello: Add initial support for a CPU and a QEMU platform new-platformplatform ports
#1157 openedJan 8, 2024 byheshamelmataryLoading…
combine common api error codes docsManual and other documentation
#1151 openedDec 17, 2023 bybbrcknlLoading…
ProTip! Find all pull requests that aren't related to any open issues with-linked:issue.