SCIOPTA Systems has ported the safety certified SCIOPTA Real-Time Operating System to Xilinx ZCU102 evaluation board running the Xilinx ZYNQ UltraScale+ MPSoC with a dual Cortex-R5 and a quad Cortex-A53 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 Xilinx SDK and GNU GCC Toolchains.