Port Genode(13.05) to exynos4412 with Fiasco.oc(R67)

Hi, I'm trying to port Genode(13.05) to Samsung Exynos4412,using R67 of Fiasco.oc. There's a error while the image(compiled with printf.run) is running. ------------------------------------------------------------------------------------------------------ int main(): --- create local services --- int main(): --- start init --- int main(): transferred 1981 MB to init Could not assign parent interface to new PD unknown exception? int main(): --- init created, waiting for exit condition -- -------------------------------------------------------------------------------------------------------

I'd like to know how to solve this problem and get R67 running on Genode(13.05).

Sunyu