Porting LibVMI

[Miguel Correia Guerra]

Hi,

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.


Best regards,
Miguel Guerra


[1] - http://libvmi.com/