-
Notifications
You must be signed in to change notification settings - Fork 701
Insights: seL4/seL4
June 9, 2025 – June 16, 2025
Period: 1 week
Filter activity
Overview
-
- 3 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
3 Pull requests merged by 3 people
-
github: main l4v now on Isabelle2025
#1483 merged
Jun 13, 2025 -
mcs: refactor doReplyTransfer and setMRs_fault
#1475 merged
Jun 13, 2025 -
cleanup: use rootSlot to give a name to excapref0
#1478 merged
Jun 10, 2025
1 Issue closed by 1 person
-
[Question] Why `setThreadState` in endpoint and notification is splitted?
#1484 closed
Jun 16, 2025
2 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
riscv: plic: plic_init_controller won't clear any pending interrupt
#1482 commented on
Jun 10, 2025 • 0 new comments -
Minimal CHERI support
#1469 commented on
Jun 13, 2025 • 0 new comments