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
  ☆353Updated 5 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆259Updated this week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆110Updated last year
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆205Updated this week
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆76Updated 4 years ago
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆201Updated last year
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆104Updated last year
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆121Updated 2 years ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆81Updated 5 years ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆211Updated last year
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆91Updated 2 months ago
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆117Updated 6 years ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆195Updated last month
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆125Updated last month
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆298Updated 5 years ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆311Updated last year
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆149Updated 4 months ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆228Updated last month
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆48Updated 3 years ago
• rust-vmm / kvm-bindings
  ☆141Updated 2 months ago
• IsaacWoods / poplar
  Microkernel and userspace written in Rust exploring modern ideas
  ☆250Updated last week
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆315Updated last week
• rust-vmm / vm-virtio
  virtio implementation
  ☆378Updated last week
• daniel5151 / gdbstub
  An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …
  ☆318Updated last week
• rust-vmm / vhost
  ☆134Updated last month
• cloud-hypervisor / rust-hypervisor-firmware
  ☆616Updated this week
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆139Updated 7 months ago
• rust-embedded / embedonomicon
  How to bootstrap support for a no_std target
  ☆208Updated 9 months ago
• shady831213 / terminus
  A riscv isa simulator in rust.
  ☆63Updated last year
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆291Updated last year