RK0
RK0 | The Real-Time Kernel '0'
Install / Use
/learn @antoniogiacomelli/RK0README
Zero surprises: Not a minimal RTOS...
<img src="https://github.com/user-attachments/assets/5d5a15bf-9a3b-4abb-94f7-6449243e8948" width="7%" align="right" alt="image">-
Design approach: RK0 starts from a practical fact: in constrained real-time systems, the application layer repeatedly deals with coordination problems that are neither exhaustive nor unknown. For that reason, some semantics can and should be given upfront.
-
RK0 Docbook: Architecture, design internals and usage patterns.
-
RK0 Wiki: QEMU setup, Reference projects for download (Nucleo boards)
-
RK0 Blog: some quick complementary reads.
Quick Start (QEMU)
Prerequisites:
- ARM GNU Toolchain (
arm-none-eabi-gcc, arm-none-eabi-gdb / gdb-multiarch (Debian)) - QEMU for ARM (
qemu-system-arm)
Build and run the RK0 demo on QEMU:
git clone https://github.com/antoniogiacomelli/RK0.git
cd RK0
Code Quality
RK0 source code compiles cleanly with the following GCC flags:
-Wall -Wextra -Wsign-compare -Wsign-conversion -pedantic
Static Analysis (Cppcheck) is clean with no warnings, errors, or style issues.
Dependencies
- RK0 compiles only with ARM GCC.
- The C code standard is C99.
Copyright (C) 2026 Antonio Giacomelli | All Rights Reserved | www.kernel0.org | 📫
