The Safe & Secure Virtualization technology PikeOS for an AMD Zynq 7000 AP SoC is an innovative OS providing an embedded systems platform where multiple virtual machines can run simultaneously in a secure environment. It achieved the first SIL 4 certification on multi-core.