Tick
Best-effort monotonic ticks for MirageOS.