SCIOPTA Systems has ported the safety certified SCIOPTA Real-Time Operating System to the NXP imx8mq-evk evaluation board running the NXP i.MX8MQ with quad Cortex-A53 CPU and a Cortex-M4F CPU.
The SCIOPTA RTOS is specifically tuned for the AArch64 architecture. This results in a very high performance and a low memory footprint.
SCIOPTA is certified according to IEC61508 SIL3, EN 50128 SIL3/4 and ISO 26262 ASIL D.
SCIOPTA is royalty free and supports currently the GNU GCC Toolchain.