-
Notifications
You must be signed in to change notification settings - Fork 109
Insights: seL4/l4v
Overview
-
0 Active issues
-
- 1 Merged pull request
- 4 Open pull requests
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on seL4/l4v in the last week.
Want to help out?
1 Pull request merged by 1 person
-
Rename fpu_state to user_fpu_state in user contexts
#888 merged
Apr 22, 2025
4 Pull requests opened by 3 people
-
AARCH64 Access Control
#889 opened
Apr 21, 2025 -
Prove `decodeSchedContextInvocation_ccorres`
#890 opened
Apr 22, 2025 -
Update Infoflow and CapDL proofs for explicit fpu changes
#891 opened
Apr 22, 2025 -
Update Refine and CRefine for other arches for explicit FPU changes
#892 opened
Apr 23, 2025