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 */