Federico authored Aug 01, 2019 and Federico committed Oct 19, 2021

ContextSwitchTimer::IRQsetCurrentTime now adjusts when the next interrupt will be fired, removing the workaround of having to wake threads in idleThread