betrusted-io / xous-core
The Xous microkernel
☆565Updated last month
Alternatives and similar repositories for xous-core:
Users that are interested in xous-core are comparing it to the libraries listed below
- A wee async RTOS for Cortex-M☆758Updated 5 months ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,663Updated last week
- A template for building Rust applications for HiFive1 boards☆214Updated last year
- The R9 operating system☆555Updated this week
- Debugger for Hubris☆541Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆115Updated last year
- RISC-V hypervisor written in Rust☆358Updated 5 years ago
- The core crate for Drone, an Embedded Operating System.☆480Updated last year
- Hermit for Rust.☆1,765Updated last week
- A Rust-based, lightweight unikernel.☆1,272Updated last week
- The Adventures of OS☆544Updated 2 years ago
- RISC-V processor emulator written in Rust+WASM☆653Updated 2 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆196Updated 3 months ago
- xv6 OS☆237Updated last month
- 🍄 an alleged 'operating system'☆606Updated this week
- Microkernel and userspace written in Rust exploring modern ideas☆256Updated last week
- Low level access to RISC-V processors☆931Updated last week
- An Operating System for Building Small Computers☆279Updated 3 months ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆302Updated 5 years ago
- RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).☆841Updated 10 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,400Updated this week
- Minimal runtime / startup for RISC-V CPU's.☆302Updated last year
- Manticore is a research operating system, written in Rust.☆294Updated last year
- rustBoot is a standalone bootloader written entirely in `Rust`, designed to run on anything from a microcontroller to a system on chip. I…☆262Updated 7 months ago
- An x86 bootloader written in Rust.☆524Updated 3 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆129Updated last week
- Rust support for seL4 userspace☆141Updated 3 weeks ago
- ☆6Updated 2 years ago
- Rust-based Unikernel☆126Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,143Updated this week