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
  ☆358Updated 5 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆263Updated this week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆115Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆152Updated last month
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆97Updated 6 months ago
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆117Updated 6 years ago
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆213Updated 2 months ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆304Updated 5 years ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆313Updated last year
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆204Updated 2 years ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆213Updated last year
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆120Updated 2 years ago
• rust-vmm / kvm-bindings
  ☆141Updated 6 months ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆80Updated 4 years ago
• IsaacWoods / poplar
  Microkernel and userspace written in Rust exploring modern ideas
  ☆256Updated last month
• daniel5151 / gdbstub
  An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …
  ☆335Updated 2 weeks ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆152Updated 8 months ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆140Updated 10 months ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆197Updated 2 months ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆249Updated this week
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆319Updated 3 weeks ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆120Updated 3 years ago
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆302Updated last year
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆48Updated 3 years ago
• rust-vmm / vm-virtio
  virtio implementation
  ☆397Updated last month
• gz / rust-elfloader
  Library to load and relocate ELF files.
  ☆126Updated last year
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆294Updated last year
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆114Updated 2 weeks ago
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆86Updated 8 years ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆117Updated last month