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

[sunyu]

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