TrustZone Vmm Questions

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