kernel
BlueOS Kernel is a Rust operating system kernel with POSIX interface compatibility and Rust standard library support. It provides a foundation for kernel development on ARM and RISC-V architectures, including QEMU platforms.
Pick a small issue you can reproduce, then fix it with your AI coding agent.
Share on XLicense: Apache-2.0
Overview
BlueOS Kernel is a Rust-based operating system kernel designed as a lightweight, general-purpose foundation. It provides compatibility with POSIX interfaces and supports Rust's standard library, helping developers build software for the kernel using Rust. The project includes CPU architecture support, scheduling, synchronization, asynchronous execution, memory management, filesystem, networking, and device subsystems. Developers can follow the project's documentation to prepare a build environment, build a customized Rust toolchain, and work with the kernel. Supported architectures include ARM32, ARM64, RISC-V 32-bit, and RISC-V 64-bit, with QEMU platforms available.
Key features
- POSIX interface compatibility and Rust standard library support
- Support for ARM32, ARM64, RISC-V 32-bit, and RISC-V 64-bit
- QEMU platforms for the supported architectures
- Kernel subsystems for scheduling, memory management, filesystems, networking, and devices
Best for
Kernel developers who want to explore or build a Rust-based operating system for the listed ARM and RISC-V architectures. The project documentation provides guidance for setting up the toolchain and building the kernel.
- Upstream
- vivoblueos/kernel
- Fork on GitHub
- Guo-astro/kernel
- Upstream stars
- 1.4k
- Category
- Hardware, OS and embedded
- Language
- Rust
- License
- Apache-2.0
- Forked
- 2026-10-20
- Sync status
- Updated by last syncLast synced 2026-10-21
More in Hardware, OS and embedded
DroidDesk turns an ARM64 Android phone into a Linux desktop using Termux or its standalone Android app. Use it to run desktop applications on the phone or connect it to a monitor.
Forked 2026-10-17Last synced 2026-10-21License: GPL-3.0Hardware, OS and embeddedGitHub
Firmware that turns supported ESP32-family Wi-Fi radios into receive-only, low-duty-cycle SDRs for capturing and analyzing radio signals without separate SDR hardware.
Forked 2026-10-15Last synced 2026-10-21License: GPL-3.0Hardware, OS and embeddedGitHub
ESP32 Bit Pirate turns an ESP32 into a multi-protocol hardware development and analysis tool. Use its USB serial or Wi-Fi web CLI to inspect, test, and interact with digital and radio interfaces.
Forked 2026-10-14Last synced 2026-10-21License: MITHardware, OS and embeddedGitHub
An open hardware and Android software system that improves smartphone GNSS measurements and streams them to an RTK server for real-time centimeter-level positioning.
Forked 2026-10-14Last synced 2026-10-21License: MITHardware, OS and embeddedGitHub