Alternatives and similar repositories for diosix

Users that are interested in diosix are comparing it to the libraries listed below

• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆361Updated 5 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆271Updated this week
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆206Updated 2 years ago
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆117Updated 7 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆305Updated 5 years ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆82Updated 5 years ago
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆220Updated 4 months ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆214Updated 2 years ago
• IsaacWoods / poplar
  Microkernel and userspace written in Rust exploring modern ideas
  ☆260Updated 2 weeks ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆153Updated 10 months ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆198Updated 3 weeks ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆314Updated last year
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆106Updated 8 months ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆141Updated last year
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆326Updated this week
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 weeks ago
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆285Updated 2 years ago
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆119Updated 2 years ago
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆294Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆162Updated 3 weeks ago
• rust-vmm / kvm-bindings
  ☆142Updated 8 months ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆265Updated 2 weeks ago
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆303Updated last year
• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆35Updated 9 months ago
• rust-vmm / vhost
  ☆143Updated this week
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆48Updated 4 years ago
• mark-i-m / os2
  x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
  ☆31Updated 5 years ago
• gz / rust-elfloader
  Library to load and relocate ELF files.
  ☆131Updated 2 years ago
• rust-vmm / vm-virtio
  virtio implementation
  ☆409Updated this week