Hi,
Recently the openEuler community published the StratoVirt VMM solution (for coincidence, the name is quite similar to "Stratos"). StratoVirt is based on Rust programming language, and the goal is to support both lightweight VM and normal VM (by integrating some good design concepts from QEMU). Currently it only supports lightweight virtualization, and the plan is to publish the support for standard virtualization in openEuler 21.09 (end of Sep. 2021). Hope it can be interesting to you.
The repo: https://gitee.com/openeuler/stratovirt The design document: https://gitee.com/openeuler/stratovirt/blob/master/docs/design.md
Regards, Jammy