diff --git a/repos/os/include/os/irq_activation.h b/repos/os/include/os/irq_activation.h
deleted file mode 100644
index 5b29961904..0000000000
--- a/repos/os/include/os/irq_activation.h
+++ /dev/null
@@ -1,106 +0,0 @@
-/*
- * \brief  IRQ handling utility
- * \author Christian Helmuth
- * \date   2011-05-19
- */
-
-/*
- * Copyright (C) 2011-2013 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU General Public License version 2.
- */
-
-#ifndef _INCLUDE__OS__IRQ_ACTIVATION_H_
-#define _INCLUDE__OS__IRQ_ACTIVATION_H_
-
-#include <base/thread.h>
-#include <base/snprintf.h>
-#include <irq_session/connection.h>
-
-namespace Genode {
-
-	struct Irq_handler;
-	struct Irq_activation;
-}
-
-
-struct Genode::Irq_handler
-{
-	/**
-	 * Called by IRQ activation on interrupt
-	 */
-	virtual void handle_irq(int irq_number) = 0;
-};
-
-
-/**
- * Thread activated by IRQ
- */
-class Genode::Irq_activation : Thread
-{
-	private:
-
-		enum { WEIGHT = Cpu_session::Weight::DEFAULT_WEIGHT };
-
-		int             _number;
-		Irq_connection  _connection;
-		Irq_handler    &_handler;
-		char            _thread_name[8];
-
-		Genode::Signal_receiver                   _sig_rec;
-		Genode::Signal_dispatcher<Irq_activation> _dispatcher;
-
-		char const *_create_thread_name(unsigned irq_number)
-		{
-			snprintf(_thread_name, sizeof(_thread_name), "irq.%02x", irq_number);
-			return _thread_name;
-		}
-
-		void _handle(unsigned)
-		{
-			_connection.ack_irq();
-			_handler.handle_irq(_number);
-		}
-
-	public:
-
-		/**
-		 * Constructor
-		 *
-		 * \param irq_number  interrupt number
-		 * \param handler     interrupt handler
-		 * \param stack_size  size of stack or interrupt thread
-		 */
-		Irq_activation(int irq_number, Irq_handler &handler, size_t stack_size)
-		:
-			Thread(WEIGHT, _create_thread_name(irq_number), stack_size),
-			_number(irq_number), _connection(irq_number), _handler(handler),
-			_dispatcher(_sig_rec, *this, &Irq_activation::_handle)
-		{
-			start();
-
-			_connection.sigh(_dispatcher);
-			_connection.ack_irq();
-		}
-
-		/**
-		 * Thread entry
-		 *
-		 * The interrupt thread infinitely waits for interrupts signals and
-		 * dispatches the handler on occurrence.
-		 */
-		void entry()
-		{
-			while (true) {
-				Genode::Signal sig = _sig_rec.wait_for_signal();
-				int num            = sig.num();
-
-				Genode::Signal_dispatcher_base *dispatcher;
-				dispatcher = dynamic_cast<Genode::Signal_dispatcher_base *>(sig.context());
-				dispatcher->dispatch(num);
-			}
-		}
-};
-
-#endif /* _INCLUDE__OS__IRQ_ACTIVATION_H_ */