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