SysgoSeparation Kernel erreicht EAL 5+

Sysgo hat auf die gestiegene Bedrohungslage im Bereich der Cybersicherheit reagiert: Der Separation Kernel PikeOS 5.1.3. erreicht EAL 5+.