hw_rpi: Hand out IRQ for USB host controller

2013-11-20 22:44:02 +01:00 · 2013-11-20 22:44:02 +01:00 · 5b5ea76039
parent ae5e5cefc1
commit 5b5ea76039
2 changed files with 5 additions and 1 deletions
--- 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]) };
--- 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 */