Tsc-members

Thread Start a new thread

Download

tsc-members@sel4.systems

September 2025

3 participants
1 discussions

Pre-RFC: change MCS API from us to ticks
by Gerwin Klein 09 Sep '25

09 Sep '25

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

3 3