Alternatives and similar repositories for xous-core

Users that are interested in xous-core are comparing it to the libraries listed below

• oxidecomputer / humility
  Debugger for Hubris
  ☆564Updated last week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆219Updated 2 years ago
• cbiffle / lilos
  A wee async RTOS for Cortex-M
  ☆798Updated 2 months ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆199Updated 10 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆367Updated 5 years ago
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 10 months ago
• nihalpasham / rustBoot
  rustBoot is a standalone bootloader written entirely in `Rust`, designed to run on anything from a microcontroller to a system on chip. I…
  ☆285Updated last year
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,735Updated last week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆189Updated 2 weeks ago
• r9os / r9
  The R9 operating system
  ☆773Updated last month
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆173Updated last week
• dancrossnyc / rxv64
  xv6 OS
  ☆245Updated 2 months ago
• sgmarz / osblog
  The Adventures of OS
  ☆563Updated 3 years ago
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆305Updated 2 years ago
• rust-embedded / riscv
  Low level access to RISC-V processors
  ☆1,032Updated last week
• drone-os / drone-core
  The core crate for Drone, an Embedded Operating System.
  ☆490Updated 2 years ago
• IsaacWoods / poplar
  Toy microkernel and userspace written in Rust, exploring modern ideas
  ☆264Updated 2 months ago
• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆418Updated last month
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆276Updated last week
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆693Updated 3 weeks ago
• r3-os / r3
  R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…
  ☆171Updated 2 years ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,848Updated this week
• rust-lang / fls
  The FLS
  ☆465Updated last week
• alilee / rust-osdev-jumpstart
  Rust, cargo and QEMU setup for multi-architecture OS development.
  ☆41Updated 4 years ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆158Updated this week
• takahirox / riscv-rust
  RISC-V processor emulator written in Rust+WASM
  ☆673Updated 2 years ago
• oxidecomputer / propolis
  VMM userspace for illumos bhyve
  ☆209Updated last week
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆306Updated 5 years ago
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,373Updated this week