Claim: PikeOS is a commercial, hard real-time operating system (RTOS), and its earliest version PikeOS was 3.4 (non-cert) and had EOL since 12/2017 while the latest version of PikeOS is 5.0 (cert), and is still currently available.
Evidence: PikeOS 3.4 (non cert) PikeOS is a commercial, hard real-time operating system (RTOS) that offers a separation kernel based hypervisor with multiple logical partition types for many other operating systems (each called a GuestOS) and applications. Since 12/2017 PikeOS 5.0 (cert) Current