[Tsc-members] Re: Pre-RFC: change MCS API from us to ticks

I'm in favour of pushing the conversions out to userlevel. Also with the mainline kernel's millisecond representation of ticks used in scheduling and the domain scheduler static schedule. Kent. On Tue, Sep 9, 2025 at 7:39 AM Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:

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 _______________________________________________ Tsc-members mailing list -- tsc-members@sel4.systems To unsubscribe send an email to tsc-members-leave@sel4.systems