TrustZone Vmm Questions

[Ofer Hasson]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150607/601591e7/attachment.html>