PikeOS for Zynq-7000 AP SoC
PikeOS embedded virtualization is designed to manage virtualization along with the special requirements of complex embedded systems, e.g. real-time responsiveness, deterministic and diverse hardware and software support. While server or desktop virtualization mainly targets on space partitioning to make better use of a x86 hardware platform, PikeOS embedded virtualization offers more flexibility through time and space partitioning. PikeOS embedded virtualization provides partitions for multiple guest operating systems, so-called personalities, and supports diverse hardware platforms. PikeOS embedded virtualization comes with a small micro-kernel which provides basic functionalities only. By means of these functionalities the system's resources, e.g. memory, I/O devices, CPU-time, etc., can be divided into separate subsets building the above shown partitions, i.e. virtual machines. The PikeOS micro-kernel serves as hypervisor or virtual machine monitor (VMM) and traps any attempts by user programs to execute privileged instructions or to otherwise access resources outside of their set. In this way, it implements para-virtualization similar to Xen.
- Cost-efficient software integration and protection of intellectual property
- Micro-kernel based para-virtualization
- Partitioning according to ARINC 653
- Reduction of software complexity