betrusted-io / xous-core

Related projects ⓘ

Alternatives and complementary repositories for xous-core

• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆346Updated 4 years ago
• cbiffle / lilos
  A wee async RTOS for Cortex-M
  ☆700Updated 2 weeks ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆191Updated 2 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆107Updated last year
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆206Updated last year
• oxidecomputer / humility
  Debugger for Hubris
  ☆529Updated last week
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,589Updated 2 weeks ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,684Updated this week
• drone-os / drone-core
  The core crate for Drone, an Embedded Operating System.
  ☆467Updated last year
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆259Updated last week
• 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…
  ☆214Updated last month
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,186Updated this week
• rust-embedded / riscv
  Low level access to RISC-V processors
  ☆850Updated this week
• takahirox / riscv-rust
  RISC-V processor emulator written in Rust+WASM
  ☆630Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆119Updated last week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆256Updated this week
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆547Updated last month
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆303Updated 11 months ago
• o8vm / krabs
  An x86 bootloader written in Rust.
  ☆519Updated 3 years ago
• AmbiML / sparrow-kata-full
  ☆5Updated last year
• r9os / r9
  The R9 operating system
  ☆510Updated 2 weeks ago
• dancrossnyc / rxv64
  xv6 OS
  ☆234Updated 3 weeks ago
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆198Updated last year
• seeker89 / unikernels
  State of the art for unikernels
  ☆209Updated 6 months ago
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆297Updated 4 years ago
• sgmarz / osblog
  The Adventures of OS
  ☆515Updated 2 years ago
• n7space / aerugo
  Safety-critical applications oriented Real-Time Operating System written in Rust
  ☆282Updated 10 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆88Updated this week
• rust-osdev / uefi-rs
  Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…
  ☆1,309Updated this week
• 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…
  ☆160Updated last year