commit 8d456cd9e417e9787481df15736b5f1c55cbc870
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Sep 3 22:55:37 2025 +0200

    mach_clock (set_timeout): Start counting after next tick
    
    to avoid partial ticks.

diff --git a/kern/mach_clock.c b/kern/mach_clock.c
index 48f673a4..3be0fb74 100644
--- a/kern/mach_clock.c
+++ b/kern/mach_clock.c
@@ -373,7 +373,8 @@ void set_timeout(
 
 	s = simple_lock_irq(&timer_lock);
 
-	interval += elapsed_ticks;
+	/* Start counting after next tick, to avoid partial ticks.  */
+	interval += elapsed_ticks + 1;
 
 	for (next = (timer_elt_t)queue_first(&timer_head.chain);
 	     ;
