tomaka/redshirt

Timers in freestanding environment still don't seem to work

Closed this issue 4 years ago · 2 comments

tomaka commented 4 years ago

Timers in freestanding environment still don't seem to work

tomaka commented 4 years ago

Might be related to #410

tomaka commented 4 years ago

Fixed by #526