m2os
RTOS with simple tasking support for small microcontrollers.
- from
- Ada/SPARK
- added
- 2026-10-10
- likes
- 0
similar
-
marte-os marte.unican.es
MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications.
-
muen muen.codelabs.ch
An x86/64 Separation Kernel for High Assurance.
-
cortex-gnat-rts github.com
This package includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS and targeted at boards with Cortex-M0, M3, -M4, -M4F MCUs.
-
MongooseOS github.com
An IoT specific firmware, with both C and JS. Available for the ESP32/8266.
-
mJS github.com
A lightweight and restricted JS engine that is used by MongooseOS, compatible on the 32 and 8266.
-
sancta github.com
Multi-robot task allocation library.
Ada/SPARK › OS and Kernels: “RTOS with simple tasking support for small microcontrollers.”