Virtualization with trustzone into mx53

[panton]

Hello,

I want to create a virtualized system with Genode in my imx53 board. At 
the moment, I am able to run Genode on the board with base-foc and also 
directly on hardware (base-hw). Thus, my plan was to run a linux kernel 
as a child node and hopefully run it into trustzone NS. Looking into 
Genode code I found base-hw/include/vm_session that seems to deal with 
virtualization. Furthermore there is a trustzone.cc into 
base-hw/src/core.., but without real useful code.

I was wondering if there are implemented virtualization capabilities 
using trustzone or even without trustzone? If so, it would be great to 
have an example of how to use it.

Thanks in advance for answers!

Best regards,
Pablo Anton