Hi Miguel,
For the basics of porting to Genode there's a porting guide [1]. Then, have a look what LibVMI needs as backend functionality and try to match it to the Trustzone VMM implementation respectively the VM session interface.
I hope that helps.
Cheers, Martin
[1] https://genode.org/documentation/developer-resources/porting
Am 15.05.2017 um 15:33 schrieb Miguel Correia Guerra:
I'm currently working with the TrustZone VMM example from Genode based on Genode 16.08 on i.MX53 QSB.
So far I've been able to create a shared buffer which can be used for cross-world communication.
My next step would be to try and port LibVMI[1] and attempt to run it in the Trustzone. Since I'm pretty new to this I would like to know which would be the best approach to start tackling this issue.