Hi Peter, thanks for your response!

In fact, I had take some efforts to write the gic-v3 emulation codes that 
referred to the gic-v2 codes of the origin vmm library. Though it only has the 
basic functions of gic-v3, I still got the guest Linux ran based on it on the 
rk3568.

Now that you are working on a new vmm library, I will try to tend my work here 
and make contribution as possible as I can.
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to