The OKL4 Microvisor is a leading separation-kernel for applications requiring high trust and high reliability and high performance. As a secure hypervisor, its flexible Cell technology scales from small standalone secure applications, to large multi-core Android virtual machines, and its applications span secure mobile, IoT and embedded, automotive, secure networking and radio equipment and secure server virtualization. Accompanying the OKL4 Microvisor, we have the advanced Virtual Services communication stack, which provides support for a wide range of virtual-devices (such as network, disk, I2C, SPI, GPIO, low latency audio, virtual GPU and input devices), and lets you design your own custom stateful inter-VM comms protocols.
Adding ARMv8 64-bit support positions Cog to support the wave of high-end ARM processors entering the market, and brings our renowned quality and security focused attributes to ARM’s latest processor architecture. We’re excited to be already working with lead partners to bring Cog Secure and virtual-platform Android support to ARMv8 processors in the near future.
In the process we’ve also been further enhancing the quality of the OKL4 code base, adding fully linted clean strong-type-checking for all three 32-bit, 64-bit ILP32 and LP64 data models, and we’ve updated our MISRA conformance to the latest version.
Learn more at http://cog.systems