Skip to content

Latest commit

 

History

History
46 lines (40 loc) · 4.84 KB

rustoslist.md

File metadata and controls

46 lines (40 loc) · 4.84 KB

Rust based OS/Hypervisor/VMM/Firmwire

Research

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

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 Micro-Kernel 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.

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

  • Blog OS : detail blogs about Writing an OS in Rust in x86-64
  • osblog on riscv : The Adventures of OS: Making a RISC-V Operating System using Rust
  • rcore-tutorial : basic educational OS labs in riscv for OS course in Tsinghua Univ.
  • zcore-tutorial : simplified zcore educational labs in user-mode x86-64.
  • tiny os kernel component labs : a lot of tiny os kernel component labs
  • rustsbi firmware : RISC-V Supervisor Binary Interface (SBI) implementation in Rust; runs on M-mode.
  • RVirt: RVirt is an S-mode trap-and-emulate hypervisor for RISC-V. It is currently targeted at QEMU's virt machine type.
  • RVM -- Rcore Virtual Machine : An experimental hypervisor library written in Rust to build both type-1 and type-2 hypervisors. Supported architecture: x86_64 (Intel VMX) and RISC-V

Hobby

  • Lateral： Lateral is a work-in-progress multitasking monolithic kernel + OS meant as a fun summer project.
  • snakeos : This is the game snake, bootable on a x86_64 CPU followed by blogos
  • MOROS ：MOROS is a hobby operating system, targets computers with a x86-64 architecture and a BIOS.