• crosvm

    https://google.github.io/crosvm/introduction.html

    https://kerla.dev/docs/introduction.html
    https://github.com/nuta/kerla/projects/1

    • Writing an OS in Rust

    https://os.phil-opp.com/
    https://github.com/phil-opp/blog_os/tree/edition-3

    • r-core and z-core

    https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html

    z-core is also an rust written micro-kernel OS

    • Rust micro-kernel OS

    https://www.redox-os.org/

    • Rust-based Unikernel

    https://github.com/StardustOS/stardust-oxide
    https://stardustos.gitbook.io/stardust/
    https://stardustos.github.io/stardust-oxide/xen/index.html

    • Aero

    https://github.com/Andy-Python-Programmer/aero
    Aero is a new modern, experimental, unix-like operating system written in Rust. Aero follows the monolithic kernel design and it is inspired by the Linux Kernel. Aero supports modern PC features such as Long Mode, 5-level paging, and SMP (multicore), to name a few.

    目标：

    1. should be a type-1 hypervisor written in Rust?
      1. device emulation
    2. 如果不容易实现1，则实现为type-2 hypervisor
      1. 但hypervisor仍然需要负责设备模拟等功能，与type-1 hypervisor有啥区别？
    3. 支持灵活创建micro-vm/libos/process-based virtualization in a VM