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
  ☆367Updated 5 years ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆82Updated 5 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆277Updated last week
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆209Updated 2 years ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆219Updated 2 years ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆316Updated last year
• IsaacWoods / poplar
  Toy microkernel and userspace written in Rust, exploring modern ideas
  ☆264Updated 2 months ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆155Updated last year
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆230Updated last month
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆118Updated 7 years ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆207Updated last week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆307Updated 6 years ago
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆121Updated 3 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆111Updated 3 months ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆341Updated last week
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆49Updated 4 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 4 months ago
• rust-vmm / kvm-bindings
  ☆144Updated last year
• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆36Updated last year
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆295Updated 2 years ago
• nrc / xmas-elf
  elf parser and navigation tool, pure Rust
  ☆171Updated 8 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆177Updated last week
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆305Updated 2 years ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆91Updated 3 years ago
• rust-osdev / multiboot2
  Rusty wrappers for Multiboot2.
  ☆125Updated last week
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆287Updated 2 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆652Updated this week
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆279Updated last week
• dgreid / crosvm
  ☆54Updated 4 months ago