SysgoRTOS for safety-critical controller-based applications

PikeOS for MPU from Sysgo is a real-time operating system (RTOS) for microcontrollers (MCU) based on separation kernels.