Home
Softono
a

antoniogiacomelli

Professional software vendor delivering innovative solutions on the Softono platform. Specialized in both open-source and proprietary software development.

Total Products
1

Software by antoniogiacomelli

RK0
Open Source

RK0

RK0 is an embedded real-time kernel built on the principle of zero surprises by moving worst-case coordination mechanics from the application into the kernel itself. Rather than being a minimal RTOS, RK0 centers on concurrency requirements as the major commonality across real-time systems. Programmers express the dependency they need, and the kernel enforces the corresponding scheduling behavior, addressing issues like priority inversion, blocked producers, nested ownership, timeout races, and delayed receivers that are difficult to manage reliably at the application level. Key features include a well-defined service map for kernel primitives, comprehensive documentation covering design internals and usage examples, support for ARM Cortex-M architectures (M0, M3, M4) including Nucleo board packages, and VSCode and QEMU setup guides for Linux, Windows, and macOS. RK0 compiles only with the ARM GNU toolchain using the C99 standard and produces clean code under strict GCC warning flags plus Cppcheck static analy

IoT & Embedded Firmware & RTOS
14 Github Stars