update

[l4.git] / kernel / fiasco / src / jdb / jdb_tbuf_init.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_tbuf_init.cpp b/kernel/fiasco/src/jdb/jdb_tbuf_init.cpp
index 62f8ff42480e4119ac1e4dcb23e9ac792a7f0157..9c1ed8b2d402681305d8fbb2e332dad43afd1dc8 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_tbuf_init.cpp
+++ b/kernel/fiasco/src/jdb/jdb_tbuf_init.cpp
@@ -23,7 +23,6 @@ IMPLEMENTATION:
 #include "jdb_ktrace.h"
 #include "mem_layout.h"
 #include "vmem_alloc.h"
-#include "virq.h"
 
 STATIC_INITIALIZE_P(Jdb_tbuf_init, JDB_MODULE_INIT_PRIO);
 
@@ -31,7 +30,7 @@ STATIC_INITIALIZE_P(Jdb_tbuf_init, JDB_MODULE_INIT_PRIO);
 IMPLEMENT FIASCO_INIT
 void Jdb_tbuf_init::init()
 {
-  static Virq tbuf_irq(Config::Tbuf_irq);
+  //static Irq_sender tbuf_irq(Config::Tbuf_irq);
 
   static int init_done;