- Notifications
You must be signed in to change notification settings - Fork690
Pull requests: seL4/seL4
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
yieldTo: respect kernel reply protocol hw-testsel4test hardware builds + runs for this PR MCSissues about the mixed-criticality system config verificationNeeds formal verification input/change, or is motivated by verification
#1435 openedMar 26, 2025 bylsf37Loading…
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
ProTip! Addingno:label will show everything without a label.