]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/irq_controller.cpp
update
[l4.git] / kernel / fiasco / src / kern / irq_controller.cpp
index ee3db377b3d603bb4d315f491eaac08aa76946f2..6077c0ae771703230e4e7ebdbd34d5753109ada6 100644 (file)
@@ -6,7 +6,7 @@ INTERFACE:
 
 class Irq_chip;
 
-class Icu : public Icu_h<Icu>, public Kobject
+class Icu : public Icu_h<Icu>
 {
   FIASCO_DECLARE_KOBJ();