 PikeOS

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.It enables users to build certifiable smart devices for the Internet of things according to the high quality, safety and security standards of different industries.