9 Sep
2025
9 Sep
'25
1:44 a.m.
Any opinions on changing the MCS from time in us to time in timer ticks? https://sel4.discourse.group/t/pre-rfc-change-mcs-api-from-us-to-ticks/1011 Cheers, Gerwin