S32 SDK
FreeRTOS

FreeRTOS is a Real Time Operating System (RTOS) design to run on microcontrollers which have size constraints and dedicated end applications.

FreeRTOS provides:

Additonal functionality can be included with add-on components.

More information about FreeRTOS can be found on the FreeRTOS website: www.freertos.org