From 5b5ea760396d4516316ea648996231a7a31ca7a0 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 20 Nov 2013 22:44:02 +0100
Subject: [PATCH] hw_rpi: Hand out IRQ for USB host controller

---
 base-hw/src/core/rpi/platform_support.cc       | 3 ++-
 base/include/platform/rpi/drivers/board_base.h | 3 +++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/base-hw/src/core/rpi/platform_support.cc b/base-hw/src/core/rpi/platform_support.cc
index 6f61ba4dc..236e163bf 100644
--- a/base-hw/src/core/rpi/platform_support.cc
+++ b/base-hw/src/core/rpi/platform_support.cc
@@ -26,7 +26,8 @@ namespace Kernel { void init_platform(); }
  */
 static unsigned irq_ids[] =
 {
-	Board::TIMER_IRQ
+	Board::TIMER_IRQ,
+	Board::DWC_IRQ
 };
 
 enum { IRQ_IDS_SIZE = sizeof(irq_ids)/sizeof(irq_ids[0]) };
diff --git a/base/include/platform/rpi/drivers/board_base.h b/base/include/platform/rpi/drivers/board_base.h
index d01ea64a1..439c2b548 100644
--- a/base/include/platform/rpi/drivers/board_base.h
+++ b/base/include/platform/rpi/drivers/board_base.h
@@ -51,6 +51,9 @@ namespace Genode
 			/* timer */
 			TIMER_IRQ = 0,
 
+			/* USB host controller */
+			DWC_IRQ = 17,
+
 			SECURITY_EXTENSION = 0,
 
 			/* CPU cache */