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 [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
