Hi,

I wanted to run the L4 Android version (normal world), alongside Genode (secure world) in the i.MX53 QSB board.

I was trying to do something similar to the tz_vmm demo, but following the instructions given in [1], but so far have not succeeded.

Is there a way to run this custom version of Android in the i.MX53 QSB?

If not, is it possible to use the Adeneo Android version, for this board, using the adapted linux kernel of [2]?

I'm not interested in a secure framebuffer, so I may declare the framebuffer as insecure, for this to work.


[1] - https://github.com/genodelabs/genode/tree/master/repos/ports-foc

[2] - https://github.com/skalk/linux/tree/imx53-tz

Best Regards,
Joćo Ramos