Hi, I want to build a system based on the TZ_VMM example where a user space Linux application can trigger a SMC. This SMC will tell the secure world to display an image (and then return to the normal world after some time or after the user explicitly triggers another world switch).

For now I want to start by using Linux on the Normal World, but I want to eventually run Android in the Normal World.

The question which made me come to the mailing list is the following: in your article regarding TrustZone [1], section "Additional device drivers", you write that in order to run Android at almost-native performance in the normal world you used hardware overlays and that you invested significant development time into enabling this feature on the QSB. 

Does this mean you have a working framebuffer driver for the i.MX53 QSB as well as a working example on how to use hardware overlays on this platform?

If so I would like to know where can I get the mentioned framebuffer driver as well as the hardware overlay example.

Thanks, Tiago

[1] - An Exploration of ARM TrustZone Technology (http://genode.org/documentation/articles/trustzone)