diff --git a/kernel/src/arch/Timer.cpp b/kernel/src/arch/Timer.cpp
index 35599f2c..42667e1c 100644
--- a/kernel/src/arch/Timer.cpp
+++ b/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;
 }
\ No newline at end of file
diff --git a/kernel/src/arch/Timer.h b/kernel/src/arch/Timer.h
index c540631b..2cd462d1 100644
--- a/kernel/src/arch/Timer.h
+++ b/kernel/src/arch/Timer.h
@@ -34,4 +34,6 @@ namespace Timer
 
     void arch_init();
     void init();
-}
\ No newline at end of file
+}
+
+bool should_invoke_scheduler();
\ No newline at end of file