A tiny real-time kernel focusing on formal reliability and simplicity.
-
Updated
May 20, 2024 - C
A tiny real-time kernel focusing on formal reliability and simplicity.
RT-Thread is an open source IoT real-time operating system (RTOS).
SOLID for Raspberry Pi 4
The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, inter-task communications primitives, hierarchical state machines and CoRoutines.
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
A Linux-like real-time operating system for Robotics and the Internet of Things (IoT)
🟢 super fast 🚀 and tiny 🐥 embedded device 𝘾 printf-like trace ✍ code, works also inside ⚡ interrupts ⚡ and real-time PC 💻 logging (trace ID visualization 👀)
micro T-Kernel 3.0 for RX
RIOT - The friendly OS for IoT
AVRTOS is a real-time operating system (RTOS) designed specifically for 8-bit AVR microcontrollers. The project aims to provide an efficient and highly configurable RTOS solution for AVR-based systems. Fully C/C++ compliant, AVRTOS is compatible with the AVR-GCC toolchain, Arduino and PlatformIO frameworks.
MiROS (Minimal Real-Time Operating System) for ARM Cortex-M
🪁 A curated list of awesome projects and resources for the Zephyr RTOS project.
Yuneta Service, a development framework about messages and services, based on Event-driven, Automata-based and Object-oriented programming.
Zephyr OS Basic Blinky project running on STM32F3DISCOVERY Board
Add a description, image, and links to the rtos topic page so that developers can more easily learn about it.
To associate your repository with the rtos topic, visit your repo's landing page and select "manage topics."