eMCOS Scalable Real-Time OS Platform
Achieving both high safety and high performance, from the HPC domain to the MCU domain

A multikernel RTOS that scales from MCU to HPC domains, safety-certified to ISO 26262 ASIL D, with support for Arm and RISC-V.