OKL4 Microvisor

Device Family Support

• Zynq-7000

The OKL4 Microvisor SDK for Xilinx Zynq-7000 encompasses capabilities essential to aerospace/defense and automotive OEMs, including · Integration of diverse software stacks on a single processor, each in a distinct secure environment (Cell), e.g., “red-black” separation in high assurance environments, and isolation of safety-critical and consumer contexts in automotive applications · Capability for simultaneous hosting of multiple popular embedded OSes, including Linux, Android, QNX, AUTOSAR and other embedded/real-time systems, each executing in its own protected Cell · Fine-grained and rigorous access control across Cells, with the OKL4 Microvisor leveraging processor hardware to enforce security policy, with secure sharing of display, audio, storage, networking and other peripherals implemented in FPGA logic · High performance, with fast booting and run-time rebooting of individual Cells, and deterministic responsiveness for real-time applications, even under heavy system load · Efficient utilization of multiple ARM Cortex-A9 cores via dynamic SMP balancing

Key Features

• undefined

Target Markets

• Automotive
• Consumer
• Aerospace & Defense
• Industrial Scientific Medical
• Wired Communications
• Wireless Communications