Re: How can I port Genode to Exynos4 platform?