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 XNo license declared
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
- No license declaredWithout a license, the author keeps all rights. Ask the upstream owner before reusing the code.
- Forked
- 2026-10-20
- Sync status
- Updated by last syncLast synced 2026-11-14
More in Hardware, OS and embedded
A Linux kernel module that unlocks FP/BF16 instruction issue rates on supported Nvidia RTX 30-series cards. It is used to improve matrix-computation throughput without patching the Nvidia driver.
Forked 2026-10-24Last synced 2026-11-14No license declaredHardware, OS and embeddedGitHub
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-11-14License: 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-11-14License: 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-11-14License: MITHardware, OS and embeddedGitHub