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