The Xous microkernel
☆918May 18, 2026Updated last week
Alternatives and similar repositories for xous-core
Users that are interested in xous-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Documentation on the Xous operating system☆43May 17, 2026Updated last week
- Betrusted main SoC design☆159Jul 22, 2025Updated 10 months ago
- Looking for docs on Precursor/Betrusted? Start here.☆188Apr 22, 2021Updated 5 years ago
- Stand-alone build for sigchat, a Xous app☆16Jul 18, 2024Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,514May 21, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A secure embedded operating system for microcontrollers☆6,318May 22, 2026Updated last week
- Hardware design files for Betrusted☆80Mar 17, 2022Updated 4 years ago
- Hermit for Rust.☆1,920May 19, 2026Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,784May 23, 2026Updated last week
- Betrusted embedded controller (UP5K)☆49Dec 22, 2023Updated 2 years ago
- A Rust-based, lightweight unikernel.☆1,449May 20, 2026Updated last week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,155Sep 22, 2024Updated last year
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆206May 15, 2026Updated 2 weeks ago
- An Operating System for Building Small Computers☆311Jan 21, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A wee async RTOS for Cortex-M☆822May 18, 2026Updated last week
- a smol tcp/ip stack☆4,465Apr 30, 2026Updated 3 weeks ago
- R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics☆176Apr 22, 2023Updated 3 years ago
- Baochip 1x Silicon☆358Apr 12, 2026Updated last month
- An Embedded Storage Abstraction Layer☆94Mar 30, 2026Updated 2 months ago
- Debugger for Hubris☆578May 22, 2026Updated last week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,241Apr 7, 2025Updated last year
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,613Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🍄 an alleged 'operating system'☆752Mar 13, 2026Updated 2 months ago
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,754May 22, 2026Updated last week
- A simple, fast, and secure operating system for the cloud.☆1,085Updated this week
- Modern embedded framework, using Rust and async.☆9,309Updated this week
- A kernel written in Rust☆91Dec 9, 2024Updated last year
- Rust support for seL4 userspace☆200May 15, 2026Updated 2 weeks ago
- The core crate for Drone, an Embedded Operating System.☆491Jun 5, 2023Updated 2 years ago
- A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.☆87Apr 13, 2024Updated 2 years ago
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆4,485May 22, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An Embedded Network Abstraction Layer☆200Oct 1, 2025Updated 7 months ago
- A fast and flexible allocator for no_std and WebAssembly☆542Apr 15, 2026Updated last month
- A no_std + serde compatible message library for Rust☆1,414Apr 30, 2026Updated last month
- Efficient, deferred formatting for logging on embedded systems☆1,179May 12, 2026Updated 2 weeks ago
- Kernel-Bypass LibOS Architecture☆1,228Feb 18, 2026Updated 3 months ago
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆2,323Updated this week
- ☆95Jun 6, 2024Updated last year