betrusted-io / xous-coreView external linksLinks
The Xous microkernel
☆848Updated this week
Alternatives and similar repositories for xous-core
Users that are interested in xous-core are comparing it to the libraries listed below
Sorting:
- Betrusted main SoC design☆156Jul 22, 2025Updated 6 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,432Updated this week
- A secure embedded operating system for microcontrollers☆6,225Updated this week
- Hermit for Rust.☆1,874Updated this week
- A Rust-based, lightweight unikernel.☆1,401Feb 10, 2026Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,752Nov 21, 2025Updated 2 months ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,118Sep 22, 2024Updated last year
- An Operating System for Building Small Computers☆301Jan 21, 2025Updated last year
- Betrusted embedded controller (UP5K)☆49Dec 22, 2023Updated 2 years ago
- A wee async RTOS for Cortex-M☆806Sep 10, 2025Updated 5 months ago
- a smol tcp/ip stack☆4,352Feb 3, 2026Updated 2 weeks ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Jan 5, 2025Updated last year
- An Embedded Storage Abstraction Layer☆84Dec 16, 2025Updated 2 months ago
- R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics☆171Apr 22, 2023Updated 2 years ago
- The core crate for Drone, an Embedded Operating System.☆492Jun 5, 2023Updated 2 years ago
- Common OS for all Neotron systems☆121Dec 30, 2024Updated last year
- Debugger for Hubris☆571Feb 6, 2026Updated last week
- Rust support for seL4 userspace☆189Nov 26, 2025Updated 2 months ago
- A no_std + serde compatible message library for Rust☆1,330Feb 3, 2026Updated 2 weeks ago
- Run embedded programs just like native ones☆644Jan 30, 2024Updated 2 years ago
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆2,242Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,244Apr 7, 2025Updated 10 months ago
- 🍄 an alleged 'operating system'☆734Dec 27, 2025Updated last month
- Modern embedded framework, using Rust and async.☆8,777Updated this week
- An Embedded Network Abstraction Layer☆199Oct 1, 2025Updated 4 months ago
- Kernel-Bypass LibOS Architecture☆1,212Nov 12, 2025Updated 3 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,557Feb 9, 2026Updated last week
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,593Updated this week
- A kernel written in Rust☆92Dec 9, 2024Updated last year
- An interpreter for Rust's mid-level intermediate representation☆5,901Updated this week
- Neqo, the Mozilla Firefox implementation of QUIC in Rust☆2,138Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Jul 25, 2023Updated 2 years ago
- A simple, fast, and secure operating system for the cloud.☆1,070Updated this week
- Rust Memory Safety & Undefined Behavior Detection☆1,371Mar 9, 2024Updated last year
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆4,313Updated this week
- Efficient, deferred formatting for logging on embedded systems☆1,136Feb 5, 2026Updated last week
- Build your hardware, easily!☆3,722Updated this week
- An experimental pure-Rust x86 bootloader☆1,618Feb 3, 2026Updated last week
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆86Apr 13, 2024Updated last year