Skip to content
GitLab
Explore
Sign in
Bug fixes
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Bug fixes
Jonathan Brouwer
requested to merge
bugfixing
into
main
Feb 23, 2023
Overview
3
Commits
9
Pipelines
5
Changes
13
Fix unsound mutex implementation (This changes the public api so V2)
Fix a bug in the timer code
Fix that interrupts are off for too long sometimes
Merge request reports
Loading