The Xous microkernel
☆991Sep 15, 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 3 weeks ago
- Betrusted main SoC design☆162Jul 22, 2025Updated last year
- Baochip 1x Silicon☆479Sep 13, 2026Updated 2 weeks ago
- Looking for docs on Precursor/Betrusted? Start here.☆192Apr 22, 2021Updated 5 years ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,619Updated this week
- 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 secure embedded operating system for microcontrollers☆6,453Updated this week
- Dabao eval board hardware☆49Feb 27, 2026Updated 7 months ago
- Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust☆1,227Updated this week
- Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.☆4,886Updated this week
- Hermit for Rust.☆1,967Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,798Jul 13, 2026Updated 2 months ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,206Sep 22, 2024Updated 2 years ago
- Modern embedded framework, using Rust and async.☆9,898Updated this week
- a smol tcp/ip stack☆4,611Aug 18, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host☆2,956Updated this week
- A Rust-based, lightweight unikernel.☆1,500Updated this week
- Hardware design files for Betrusted☆84Mar 17, 2022Updated 4 years ago
- A lightweight, robust, multiprocessor bare-metal hypervisor written in Zig for RISC-V☆208Sep 21, 2026Updated last week
- 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
- A wee async RTOS for Cortex-M☆833May 18, 2026Updated 4 months ago
- Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers☆2,414Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,252Apr 7, 2025Updated last year
- Efficient, deferred formatting for logging on embedded systems☆1,234Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An Operating System for Building Small Computers☆317Jan 21, 2025Updated last year
- Rust Linux-compatible kernel☆1,956Sep 17, 2026Updated 2 weeks ago
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,468Feb 23, 2026Updated 7 months ago
- Betrusted embedded controller (UP5K)☆50Dec 22, 2023Updated 2 years ago
- The core crate for Drone, an Embedded Operating System.☆496Jun 5, 2023Updated 3 years ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,658Updated this week
- 🍄 an alleged 'operating system'☆801Aug 7, 2026Updated last month
- Rust support for seL4 userspace☆215Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Jul 25, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A specialized hypervisor for Hermit.☆294Updated this week
- Run embedded programs just like native ones☆644Jan 30, 2024Updated 2 years ago
- A simple, fast, and secure operating system for the cloud.☆1,095Updated this week
- Debugger for Hubris☆586Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆562Sep 9, 2026Updated 3 weeks ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆269Updated this week
- Pluggable critical section☆173Jun 29, 2026Updated 3 months ago