I managed to pass data, solved it using "ioremap_nocache",
With regards to the restart, still no success.

Thanks.

On Sun, Jun 7, 2015 at 9:07 AM, Ofer Hasson <hasso...@post.bgu.ac.il> wrote:

> Hello,
>
> I'm trying to pass data between worlds, currently I'm allocating kernel
> space buffer in the normal world (Linux), passing the address using r0
> register and the size using r1 register.
> I manage to read the buffers reliably.
> When I'm trying to change the buffers in the secure world, I don't see the
> change in the normal world, at first i thought there was some compiler
> optimization issues, now I use -O0, next i thought this was CPU cache
> issues and now i use "flush_kernel_kmaps()" but still nothing.
> Any idea's on this issue ?
>
> Another question, how to i restart the board (iMX53) from genode code in
> the secure world ?
>
> Thanks a lot
>
------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to