Guest OSs, RTEs & APIs

PikeOS offers support for a variety of hosted operating systems, runtime environments and APIs. This variety enables legacy applications (e.g. Ada or legacy RTOS) to run concurrently with new applications based on standards like POSIX and ARINC 653. All these OSs, runtime environments and APIs run on the same PikeOS kernel and can be combined as needed.

ELinOS Embedded Linux

Our ELinOS distribution offers the most straight forward integration into a PikeOS virtual machine as well as dedicated extensions to directly use enhanced PikeOS features. Linux operating system partitions are often used alongside a POSIX or ARINC 553 partition, setting up an overall system with mixed criticality. The PikeOS hypervisor technology ensures that a running Linux has no impact on the certification aspects of an API with a higher degree of criticality. Linux operating systems can be run in hardware as well as para-virtualized mode.


Supporting Intel hardware virtualization, PikeOS can seamlessly run an unmodified and fully functional Windows together with other guest operating systems on one single platform. For older systems, our solution can safeguard legacy assets while enabling interaction with more modern, secure Windows environments for communication purposes.


The POSIX API (Portable Operating System Interface) implements a subset of the PSE52 real-time controller system profile. It is a good choice for medium Safety-critical systems where a huge number of operating system services are required, but the use of Linux would still be too risky. It is often used for Automotive projects where ISO 26262 compliance is necessary. The POSIX API is the backbone of the AUTOSAR adaptive solution.

ARINC 653 (aka APEX)

The PikeOS ARINC 653 is built upon the PikeOS native API and provides a complete and fully functional APEX API target for Avionics systems, in particular with respect to Integrated Modular Avionics (IMA). The ARINC 653 guest operating system can be certified according to DO-178C DAL A.

PikeOS Native

The PikeOS Native API is primarily designed to build para-virtualized guest operating systems. It provides a small but complete set of low-level system calls that are optimized for performance, robustness, Safety and Security. The PikeOS Native API is also the first choice when it comes to software to be certified at the highest certification levels.

Your specific Project

We support you to implement and execute a variety of hosted operating systems, runtime environments and APIs on top of PikeOS.

Customer Benefits


Enhanced Security

PikeOS employs strict partitioning and isolation mechanisms to ensure that guest operating systems remain securely separated from each other. This enhances the overall system Security by mitigating the risk of unauthorized access or interference between guest OS instances.


Improved Reliability

With PikeOS, each guest operating system runs in its own partition, minimizing the impact of faults or failures in one guest OS on others. This improves the overall reliability of the system, ensuring continuous operation even in the presence of software errors or crashes.


Optimized Resource Utilization

PikeOS efficiently allocates system resources such as CPU, memory, and I/O devices to guest OSs based on their respective requirements. This optimization maximizes resource utilization, allowing for better performance and scalability of the overall system.


Flexible Configuration Options

PikeOS offers flexibility in configuring guest operating systems, allowing customers to tailor the system to their specific requirements. Whether it's selecting different guest OS types, adjusting resource allocations, or defining communication channels between guest OS instances, PikeOS provides the flexibility needed to meet diverse use cases.


Simplified Development and Maintenance

By providing a unified development environment (CODEO IDE) for guest operating systems, PikeOS simplifies the development, deployment, and maintenance of embedded systems. This streamlines the overall development life cycle, reducing time-to-market and total cost of ownership for customers.


Scalability and Future-Proofing

PikeOS provides scalability for changing system needs, allowing customers to adjust guest OS instances, resources, and adapt to new technologies without major architectural changes. This ensures future-proofing and flexibility in meeting evolving market demands and tech advancements.


Need more Information?

Tell us about your project and your needs.

Contact us