Porting LibVMI

Martin Stein martin.stein at ...1...
Thu May 18 11:46:42 CEST 2017

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

I hope that helps.


[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.

More information about the users mailing list