PikeOS

PikeOS
Architecture of SYSGO's PikeOS
DeveloperSYSGO GmbH
OS familyL4
Working stateCurrent
Source modelClosed source
Latest release5.1 / January 2021; 3 years ago (2021-01)
Marketing targetEmbedded systems
Available inEnglish
PlatformsARM, PowerPC, x86, x86-64, SPARC
Kernel typeMicrokernel, real-time
LicenseProprietary
Official websitewww.sysgo.com/pikeos Edit this at Wikidata

PikeOS is a commercial hard real-time operating system (RTOS) which features a separation kernel-based hypervisor. This hypervisor supports multiple logical partition types for various operating systems (OS) and applications, each referred to as a GuestOS. PikeOS is engineered to support the creation of certifiable smart devices for the Internet of Things (IoT), ensuring compliance with industry standards for quality, safety, and security across various sectors. In instances where memory management units (MMU) are not present but memory protection units (MPU) are available on controller-based systems, PikeOS for MPU is designed for critical real-time applications and provides up-to-standard safety and security.