From 2124b4b9c20ddbc65c643ef60b6106aacdb10c38 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 27 Nov 2013 15:11:52 +0100
Subject: [PATCH] hw_panda: provide EHCI interrupt for USB driver

fix #981
---
 base-hw/src/core/panda/platform_support.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/base-hw/src/core/panda/platform_support.cc b/base-hw/src/core/panda/platform_support.cc
index 32bed71bd0..b0ce08a335 100644
--- a/base-hw/src/core/panda/platform_support.cc
+++ b/base-hw/src/core/panda/platform_support.cc
@@ -36,7 +36,8 @@ static unsigned irq_ids[] =
 	Board::GPIO3_IRQ,
 	Board::GPIO4_IRQ,
 	Board::GPIO5_IRQ,
-	Board::GPIO6_IRQ
+	Board::GPIO6_IRQ,
+	Board::HSUSB_EHCI_IRQ
 };
 
 enum { IRQ_IDS_SIZE = sizeof(irq_ids)/sizeof(irq_ids[0]) };