kernel/src/arch/Timer.cpp

@@ -126,4 +126,9 @@ namespace Timer
         boot_timestamp = bootloader_time_to_unix(bootboot.datetime);
         arch_init();
     }
+}
+
+bool should_invoke_scheduler()
+{
+    return (timer_ticks % ARCH_TIMER_FREQ) == 0;
 }

kernel/src/arch/Timer.h

@@ -34,4 +34,6 @@ namespace Timer
 
     void arch_init();
     void init();
-}
+}
+
+bool should_invoke_scheduler();