This article contains content that is written like an advertisement. Please help improve it by removing promotional content and inappropriate external links, and by adding encyclopedic content written from a neutral point of view.(February 2021) (Learn how and when to remove this message)
Operating system
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; 3 years ago (2021-01)
Marketing target
Embedded systems
Available in
English
Platforms
ARM, PowerPC, x86, 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 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 designed to facilitate the development of certifiable smart devices for the Internet of Things (IoT) by adhering to standards of quality, safety, and security across different industries. 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.
partition types for various operating systems (OS) and applications, each referred to as a GuestOS. PikeOS is designed to facilitate the development of...
have fixed deadlines use a real-time operating system such as VxWorks, PikeOS, eCos, QNX, MontaVista Linux and RTLinux. Windows CE is a real-time operating...
security-critical applications, the company offers the Hypervisor and RTOS PikeOS, an operating system for multicore processors and the foundation for intelligent...
Verification of PikeOS Archived July 19, 2011, at the Wayback Machine "Getting it Right" by Jack Ganssle Harris, Robin. "Unhackable OS? CertiKOS enables...
not proxied or executing against an emulated architecture since the guest OS or hardware is providing the environment for the applications to run under...
PlayStation 5 system software PikeOS – a certified real time operating system for safety and security critical embedded systems NonStop OS – runs on HPE's NonStop...
Linux as a standalone operating system or it can be integrated into the PikeOS virtualization platform if safety and security demands cannot be met by...
yet common. Operating systems formally verified include seL4, and SYSGO's PikeOS – but these make up a very small percentage of the market. It is possible...
OS-9 MikroTik RouterOS MontaVista Linux Wind River Linux QNX Cisco IOS Cisco AireOS LynxOSPikeOS RTOS and virtualization platform from SYSGO ELinOS embedded...
Green Hills INTEGRITY, Keil RTX, TOPPERS, PetaLinux, Apache Mynewt, and PikeOS. The genesis of yaSSL, or yet another SSL, dates to 2004. OpenSSL was available...
Elbrus ISA: Linux Sukhoi OS RV BagrOS-4000, ARINC 653 and POSIX real-time OS. A replacement for foreign RTOS, as Integrity, PikeOS, QNX or VxWorks. Embox...
and aarch64 and is still under active development as of February 2023. PikeOS Liedtke, Jochen (December 1993). "Improving IPC by kernel design". 14th...
Scafell Pike (/ˈskɔːfɛl paɪk/) is a mountain in the Lake District region of Cumbria, England. It has an elevation of 978 metres (3,209 ft) above sea level...
Mynewt, PikeOS (IDEs: Arduino, MPLAB Harmony) eMQTT5 cmake, Mbed TLS to enable extra features such as SSL/TLS support C++11 Win32/64, Linux, macOS, FreeRTOS...
core are currently RTLinux, PikeOS, eCos, RTEMS, Nucleus, ThreadX, OpenComRTOS, VxWorks (a port by Gaisler Research), LynxOS (also a port by Gaisler Research)...
configurable trusted foundation for a variety of system architectures. PikeOS combines separation kernel hypervisor technology with hard real-time capabilities...
Rivington Pike is a hill on Winter Hill, part of the West Pennine Moors at Rivington, Chorley in Lancashire, England. The nearest towns are Adlington and...
High Pike is a fell in the northern part of the English Lake District, it is located 4.5 kilometres (2+3⁄4 miles) south of Caldbeck. It has a height of...
Nethermost Pike is a fell in Cumbria, England, and a part of the Lake District. At 891 metres (2,923 ft) it is the second highest Wainwright in the Helvellyn...
Clougha Pike (/ˈklʊfə/ KLUUF-ə) is a hill in the Forest of Bowland in Lancashire, England. From the west it looms over the Conder Valley, the city of Lancaster...
virtualization built-in as an integral capability. This was introduced with PikeOS in 2005. Examples of these approaches have been produced by companies such...
and the C programming language. The Plan 9 team was initially led by Rob Pike, Ken Thompson, Dave Presotto and Phil Winterbottom, with support from Dennis...