SCIOPTA Systems has ported the safety certified SCIOPTA Real-Time Operating System to the ARMv8 64bit CPUs, namely the ARM Cortex-A53 CPUs.
The SCIOPTA Cortex-A53 RTOS is specifically tuned for the AArch64 architecture. This results in a very high performance and a low memory footprint.
SCIOPTA Cortex-A53 is certified according to IEC61508 SIL3, EN 50128 SIL3/4 and ISO 26262 ASIL D.
SCIOPTA is royalty free and supports currently the Xilinx SDK and GNU GCC Toolchains.