- Notifications
You must be signed in to change notification settings - Fork109
Pull requests: seL4/l4v
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
github: update to central workflows CIcontinuous integration and testing
#868 openedMar 14, 2025 bylsf37Loading…
Proverelated to `rt` branch and mixed-criticality systems
invokeSchedControl_ConfigureFlags_ccorres MCS #864 openedMar 10, 2025 bymichaelmcinerneyLoading…
More platform configs for CI CIcontinuous integration and testing
#861 openedMar 3, 2025 bylsf37Loading…
Update ARM and AARCH64 AInvs for explicit FPU changes Aarch64AArch64-specific proofs, specs, etc
#850 openedFeb 10, 2025 bycorlewisLoading…
AArch64 Access Control: initial setup Aarch64AArch64-specific proofs, specs, etc ACaccess control proofs
#837 openedDec 11, 2024 byryybrrLoading…
Proverelated to `rt` branch and mixed-criticality systems seL4-PRrequires merging a corresponding seL4 pull request
cancelIPC_ccorres1 MCS #831 openedNov 30, 2024 bynspinLoading…
Discard ARM Refine proofs on rt branch MCSrelated to `rt` branch and mixed-criticality systems
#826 openedNov 14, 2024 bycorlewisLoading…
MCS: Remove grant right from reply cap MCSrelated to `rt` branch and mixed-criticality systems seL4-PRrequires merging a corresponding seL4 pull request
#808 openedAug 2, 2024 bycorlewisLoading…
Make 'a signed word have a different name than 'a word
#769 openedJun 26, 2024 bysimonjwinwoodLoading…
Proofs for SGI API multicoreanything related to multicore verification seL4-PRrequires merging a corresponding seL4 pull request
MCS: set handler params when configuring TCBs MCSrelated to `rt` branch and mixed-criticality systems
ProTip! Updated in the last three days:updated:>2025-03-14.