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
  ☆362Updated 5 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆272Updated this week
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆306Updated 5 years ago
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆224Updated 2 weeks ago
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆205Updated 2 years ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆313Updated last year
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆117Updated 7 years ago
• IsaacWoods / poplar
  Toy microkernel and userspace written in Rust exploring modern ideas
  ☆260Updated last week
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆82Updated 5 years ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆154Updated last year
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆214Updated 2 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated last month
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆107Updated 3 weeks ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆202Updated last month
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆119Updated 2 years ago
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆49Updated 4 years ago
• rust-vmm / kvm-bindings
  ☆143Updated 10 months ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆328Updated last week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆164Updated last week
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆293Updated last year
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆284Updated 2 years ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆142Updated last year
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆303Updated last year
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆90Updated 2 years ago
• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆35Updated 10 months ago
• rust-osdev / multiboot2
  Rusty wrappers for Multiboot2.
  ☆125Updated last week
• rust-osdev / .github
  About this organization
  ☆133Updated last year
• gurry / efi
  Ergonomic Rust framework for writing UEFI applications.
  ☆66Updated 8 months ago
• nrc / xmas-elf
  elf parser and navigation tool, pure Rust
  ☆170Updated 5 months ago