Hi everyone, I can run genode(base-foc) on the Pandaboard ES, and now I want to port genode to Odroid-Q2(exynos4412), but there is no script to run , I don't know what need I do and how to configure genode to make it work on Odroid. Can you help me? Thanks Cooper