Hi Sunyu
We're trying to port Genode(15.02) to Odroid-X2 (Samsung Exynos 4412). We have made all the configuration on Genode to support the new compilation configuration using Fiasco.OC as microkernel, but Fiasco.OC has troubles to run on Exynos4412. First we are trying to test a simple example (HelloWorld) using Fiascco.OC+L4re on the Odroid-X2 because Fiasco.OC+L4re have support for Exynos4412. This will help us to check the Fiasco.OC configuration to run on Exynos4412. Trying to run the example we have noted some troubles with the interrupts. During Fiasco.OC's boot the interrupts are automatically disabled. We are reviewing the implementation of the Exynos4 interrupt controller that's mixed with Exynos5. We have tested succesfully Fiasco.OC on the Exynos5.
Best regards
On 05/28/2015 11:32 PM, sunyu wrote:
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