The Xous microkernel
☆1,001Oct 13, 2026Updated 2 weeks ago
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☆48Sep 9, 2026Updated last month
- Baochip 1x Silicon☆485Sep 13, 2026Updated last month
- Betrusted main SoC design☆162Jul 22, 2025Updated last year
- Looking for docs on Precursor/Betrusted? Start here.☆192Apr 22, 2021Updated 5 years ago
- Stand-alone build for sigchat, a Xous app☆18Aug 12, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,641Updated this week
- Dabao eval board hardware☆50Updated this week
- A secure embedded operating system for microcontrollers☆6,477Updated this week
- Hermit for Rust.☆1,976Updated this week
- Hardware design files for Betrusted☆84Mar 17, 2022Updated 4 years ago
- Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust☆1,246Updated this week
- A Rust-based, lightweight unikernel.☆1,510Updated this week
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆5,029Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,222Sep 22, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a smol tcp/ip stack☆4,631Updated this week
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,986Updated this week
- A lightweight, robust, multiprocessor bare-metal hypervisor written in Zig for RISC-V☆208Updated this week
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆2,425Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,802Jul 13, 2026Updated 3 months ago
- An Operating System for Building Small Computers☆318Jan 21, 2025Updated last year
- Efficient, deferred formatting for logging on embedded systems☆1,241Updated this week
- Modern embedded framework, using Rust and async.☆10,024Updated this week
- A wee async RTOS for Cortex-M☆833May 18, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,253Apr 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,671Oct 19, 2026Updated last week
- Simulate BIO programs using the open-source RTL!☆32Updated this week
- Rust Linux-compatible kernel☆1,963Oct 13, 2026Updated 2 weeks ago
- The core crate for Drone, an Embedded Operating System.☆497Jun 5, 2023Updated 3 years ago
- 🍄 an alleged 'operating system'☆804Aug 7, 2026Updated 2 months ago
- A simple, fast, and secure operating system for the cloud.☆1,098Updated this week
- R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics☆175Apr 22, 2023Updated 3 years ago
- Low level access to Cortex-M processors☆1,010Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,468Feb 23, 2026Updated 8 months ago
- A model checker for Rust programs.☆3,596Updated this week
- An Rust TLS 1.3 implementation for embedded devices.☆247Updated this week
- Betrusted embedded controller (UP5K)☆50Dec 22, 2023Updated 2 years ago
- A no_std + serde compatible message library for Rust☆1,547Oct 21, 2026Updated last week
- A fast and flexible allocator for no_std and WebAssembly☆567Sep 9, 2026Updated last month
- A Hardware Abstraction Layer (HAL) for embedded systems☆2,671May 26, 2026Updated 5 months ago