Skip to content

Latest commit

 

History

History
103 lines (94 loc) · 9.79 KB

rustoslist.md

File metadata and controls

103 lines (94 loc) · 9.79 KB

Rust based OS/Hypervisor/VMM/Firmwire

Research

OS

  • RedLeaf Operating System: RedLeaf is a research operating system developed from scratch in Rust to explore the impact of language safety on operating system organization.
  • Node Replicated Kernel : The Node Replicated Kernel(NrOS) is an (experimental) research OS kernel for x86-64 (amd64) machines written in rust.
  • Theseus : Theseus is a new OS written from scratch in Rust to experiment with novel OS structure, better state management, and how to leverage intralingual design principles to shift OS responsibilities like resource management into the compiler.
  • tock : an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers
  • hermitcore : HermitCore is a novel unikernel operating system targeting a scalable and predictable runtime behavior for HPC and cloud environments.
  • zcore : Reimplement Some parts of Zircon microkernel & Linux kernel in safe Rust as a userspace program!
  • aero OS running in Qemu x8-64 smp
  • Manticore: kernel with the aim of exploring the parakernel OS architecture.
  • Rust-base seL4

Hypervisor

Industry || Hacker

  • occlum: A memory-safe, multi-process library OS (LibOS) for Intel SGX.
    • ngo: Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX
  • drone : an Embedded Operating System for writing real-time applications in Rust with async/await features
  • redox : a Unix-like microernel Operating System written in Rust
  • KataOS:a home-grown operating system named KataOS, that runs on top of seL4 and (ignoring the seL4 kernel) is written almost entirely in Rust
  • embassy os kernel:Embassy is the next-generation framework for embedded applications.
  • aero kernel:a new modern, experimental, unix-like operating system following the monolithic kernel design.
  • Rust for Linux
  • ArceOS: An experimental modular operating system (or unikernel) written in Rust. ArceOS was inspired a lot by Unikraft.
  • RuxOS: An experimental modular operating system (or unikernel) written in Rust. RuxOS was inspired by Unikraft and ArceOS
  • maestro: Maestro is a lightweight Unix-like kernel(support bash, 30& linux syscalls) written in Rust
  • hubris:Hubris is a microcontroller operating environment designed for deeply-embedded systems with reliability requirements.
  • asterinas:蚂蚁出品的框内核 framekernel

some user-land vmm components

  • google crosvm: crosvm - The Chrome OS Virtual Machine Monitor.
  • Huawei stratovirt: stratovirt in openEuler linux distrbution.
  • AWS firecracker: The main component of Firecracker is a VMM that uses the Linux Kernel Virtual Machine (KVM) to create and run microVMs.
  • intel cloud-hypervisor: Cloud Hypervisor is an open source Virtual Machine Monitor (VMM) that runs on top of KVM and the MSHV hypervisors .
  • rust-vmm ORG's repos in github: rust-vmm is an open-source project that empowers the community to build custom Virtual Machine Monitors (VMMs) and hypervisors.

Education

OS

Hypervisor

SBI

  • rustsbi firmware : RISC-V Supervisor Binary Interface (SBI) implementation in Rust; runs on M-mode.

Async runtime

wasm runtime

Hobby

OS

Hypervisor