diff --git a/Kernel/Scheduler.cpp b/Kernel/Scheduler.cpp
index 5ce6449381..b98e8308d3 100644
--- a/Kernel/Scheduler.cpp
+++ b/Kernel/Scheduler.cpp
@@ -570,6 +570,12 @@ void Scheduler::dump_scheduler_state()
     dump_thread_list();
 }
 
+bool Scheduler::is_initialized()
+{
+    // The scheduler is initalized iff the idle thread exists
+    return Processor::idle_thread() != nullptr;
+}
+
 void dump_thread_list()
 {
     dbgln("Scheduler thread list for processor {}:", Processor::id());
diff --git a/Kernel/Scheduler.h b/Kernel/Scheduler.h
index ffd2cf0456..6291609640 100644
--- a/Kernel/Scheduler.h
+++ b/Kernel/Scheduler.h
@@ -51,6 +51,7 @@ public:
     static bool dequeue_runnable_thread(Thread&, bool = false);
     static void queue_runnable_thread(Thread&);
     static void dump_scheduler_state();
+    static bool is_initialized();
 };
 
 }