error when running l4android on genode-15.05

Hi, I run l4linux perfectly on genode-15.05, but got some errors as follow: Genode 15.05 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 460 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open ROM session f

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

Hi Sunyu Thanks for your answer. We have tested your patch and it works. We have reduced a bit your patch. This is our patch: diff --git a/src/kernel/fiasco/src/drivers/arm/processor-arm.cpp b/src/kernel/fiasco/src/drivers/arm/processor-arm.cpp index d9102c4..8ee9101 100644 --- a/s