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
Hi Sunyu
We are using GenodeOS(15.05) with Fiasco.OC r67
(http://github.com/skalk/foc.git). We have made all configuration and
passed the compilation (printf.run) too. To get the raw image we have
used genode-arm-obj-copy.
In our case the Fiasco.OC don't starts successfully, the execution stop
Hi,
We have alreadly got fiasco.oc(R67) running on the Exynos4412 successfully,
and tested Genode(13.05) on pandaboard.So i am trying to test Genode(13.05）
with fiasco.oc(R67) on Exynos4412.
Have made all the configuration and passed the compilation(printf.run),i get a
'image.elf' and then change
Also, 13.05 is years old. You should probably update to 15.05 or the master
branch from Github.
On Fri, May 29, 2015 at 2:39 PM, Reinier Millo Sánchez
wrote:
> 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 su
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 exampl
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 ---
