Hi Genode community
I am currently working on porting Genode + Fiasco.OC to the ODROID-x2 (exynos4412) platform. And this functional with basic examples. Also, I'm interested in giving support for USB using the dde_linux but I have some questions about this. dde_linux supports ODROID-x2 (exynos4412)? What you need to implement to use USB in this platform?