update

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

diff --git a/kernel/fiasco/src/kern/vlog.cpp b/kernel/fiasco/src/kern/vlog.cpp
index 3f4bd629638cf18c65bfc892f6ea2a6959ecd73d..3e28273666b162d81d1eabf295cbfd1dc6624399 100644 (file)
--- a/kernel/fiasco/src/kern/vlog.cpp
+++ b/kernel/fiasco/src/kern/vlog.cpp
@@ -83,6 +83,12 @@ Vlog::Vlog()
   initial_kobjects.register_obj(this, 5);
 }
 
+PUBLIC void
+Vlog::operator delete (void *)
+{
+  printf("WARNING: tried to delete kernel Vlog object.\n");
+}
+
 PUBLIC
 void
 Vlog::unbind_irq()