-
Notifications
You must be signed in to change notification settings - Fork 54
Insights: seL4/microkit
Overview
Loading
Could not load contribution data
Please try again later
Loading
6 Pull requests merged by 2 people
-
Pin to Python 3.12
#296 merged
Mar 11, 2025 -
libmicrokit: fix UB with error reporting
#295 merged
Mar 10, 2025 -
monitor: better debug error when untyped don't match
#294 merged
Mar 10, 2025 -
Fix typo in build_sdk.py
#292 merged
Mar 9, 2025 -
libmicrokit: fix error reporting for channels higher than 32
#291 merged
Mar 7, 2025 -
build_sdk.py: fix when host is Linux AArch64
#289 merged
Mar 6, 2025
1 Pull request opened by 1 person
-
loader: always output '\r' before '\n'
#297 opened
Mar 13, 2025
1 Issue closed by 1 person
-
x86_64-unknown-linux-musl` target may not be installed
#288 closed
Mar 6, 2025
1 Issue opened by 1 person
-
Add ARM SMC forwarding granularity
#290 opened
Mar 7, 2025
1 Unresolved conversation
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.
-
Add support for SiFive Premier P550
#278 commented on
Mar 7, 2025 • 0 new comments