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

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to