update

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

diff --git a/kernel/fiasco/src/kern/irq_controller.cpp b/kernel/fiasco/src/kern/irq_controller.cpp
index dab612275d050976c18313c599499b10bc262f3a..210418b2f93fcecaec752a41a21b459357dd8e65 100644 (file)
--- a/kernel/fiasco/src/kern/irq_controller.cpp
+++ b/kernel/fiasco/src/kern/irq_controller.cpp
@@ -30,6 +30,13 @@ Irq_chip *
 Icu::chip(bool msi)
 { return msi ?  Irq_chip::hw_chip_msi : Irq_chip::hw_chip; }
 
+PUBLIC void
+Icu::operator delete (void *)
+{
+  printf("WARNING: tried to delete kernel ICU object.\n"
+         "         The system is now useless\n");
+}
+
 PUBLIC inline NEEDS[Icu::chip]
 Irq_base *
 Icu::icu_get_irq(unsigned irqnum)