Regarding enabling USB 3.0 in Exynos 5 SoC

Hello Genode,

I saw that you have successfully enable USB 3.0 in Exynos 5 SoC (Arndale board):

http://genode.org/documentation/release-notes/13.05

I'm trying to enable USB 3.0 in native Linux on arndale board and having some trouble. I'm using recent branch of Linux 3.11 kernel with u-boot in Linaro for arndale board. After booting, I can see xhci module is properly installed, but plugging the usb network dongle to USB 3.0 port does not generate any interrupts. Very much appreciate any hints or references for enabling USB 3.0 in native Linux.

By any chance, do we have to change some parts in u-boot for power up the USB 3.0?

Thanks, Jaeyong