Closed mark9064 closed 5 months ago
So https://github.com/InfiniTimeOrg/InfiniTime/pull/2041 got merged 2 weeks ago, but this one didn't and so it's now not possible to run the Sim for InfiniTime's head (it fails with fatal error: semphr.h: No such file or directory
).
Applying this PR also fails, although with other errors (error: ‘pdMS_TO_TICKS’ was not declared in this scope
and others). I guess because something else is outdated?
Update: cherry-picking this commit on top of main made everything build correctly, so I guess a simple rebase would be enough to make this work.
/rebase
Companion for https://github.com/InfiniTimeOrg/InfiniTime/pull/2041