Real-Time Event Frameworks based on active objects & state machines
Hobby operating system, bootloader, kernel, drivers, C library
A microkernel-based multiserver operating system written from scratch.
Open-source RTOS and Embedded Systems Toolkit for C++ and C
PRTOS is a simple, compact preemptive RTOS for embedded systems
OSAF-TK your one stop shop for Android malware analysis and forensics.
A Python library to create and deploy cross-platform native context