PikeOS

This article may rely excessively on sources too closely associated with the subject, potentially preventing the article from being verifiable and neutral. Please help improve it by replacing them with more appropriate citations to reliable, independent sources. (May 2025) (Learn how and when to remove this message)

PikeOS

Architecture of SYSGO's PikeOS
Developer	SYSGO GmbH
OS family	L4
Working state	Current
Source model	Closed source
Latest release	5.1 / January 2021; 4 years ago (2021-01)
Marketing target	Embedded systems
Available in	English
Platforms	ARM, PowerPC, RISC-V, x86, x86-64, SPARC
Kernel type	Microkernel, real-time
License	Proprietary
Official website	www.sysgo.com/pikeos

PikeOS is a commercial hard real-time operating system (RTOS) which has a separation kernel-based hypervisor that 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). In instances where memory management units (MMU) are not present but memory protection units (MPU) are available on controller-based systems,^[1] PikeOS for MPU is designed for critical real-time applications and provides up-to-standard safety and security.^[2]