SysgoCertification kit for real-time operating system

Sysgo has introduced a comprehensive avionics security certification kit for the 'hypervisor'-based real-time operating system 'PikeOS', which includes an ARINC 653 execution environment