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

sunyu sunyu0715 at ...333...
Fri May 29 05:32:31 CEST 2015

I'm trying to port Genode(13.05) to Samsung Exynos4412,using R67 of 
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 


More information about the users mailing list