update

[l4.git] / kernel / fiasco / src / kern / scheduler.cpp

diff --git a/kernel/fiasco/src/kern/scheduler.cpp b/kernel/fiasco/src/kern/scheduler.cpp
index 7135380d609811df06aba1a96a6357b6e032838f..dd81be8a661b333b9e313faa0cce9d8568bf915e 100644 (file)
--- a/kernel/fiasco/src/kern/scheduler.cpp
+++ b/kernel/fiasco/src/kern/scheduler.cpp
@@ -50,6 +50,13 @@ FIASCO_DEFINE_KOBJ(Scheduler);
 
 static Scheduler scheduler;
 
+PUBLIC void
+Scheduler::operator delete (void *)
+{
+  printf("WARNING: tried to delete kernel scheduler object.\n"
+         "         The system is now useless\n");
+}
+
 PUBLIC inline
 Scheduler::Scheduler()
 {