-
partition types for
various operating systems (
OS) and applications, each
referred to as a Guest
OS.
PikeOS is
engineered to
support the
creation of certifiable...
-
Verification of
PikeOS Archived July 19, 2011, at the
Wayback Machine "Getting it Right" by Jack
Ganssle Harris, Robin. "Unhackable
OS?
CertiKOS enables...
- security-critical applications, the
company offers the
Hypervisor and RTOS
PikeOS, an
operating system for
multicore processors and the
foundation for intelligent...
-
LDoms /
Oracle VM
Server for
SPARC Logical partition (LPAR)
LynxSecure PikeOS Proxmox VE QNX
SIMMON VMware ESXi
VMware vSphere vCloud VMware Infrastructure...
- 3 MQX
Nucleus PLUS
NuttX OKL4
Operating System Embedded (OSE)
OS-9
Pharos Plan 9
PikeOS QNX RIOT
RTEMS RTXC
Quadros SCIOPTA ThreadX TizenRT T-Kernel VxWorks...
-
PlayStation 5
system software PikeOS – a
certified real time
operating system for
safety and
security critical embedded systems NonStop OS -
formerly Guardian (Tandem)...
-
NonStop OS, OpenCL, Micrium's MicroC/
OS-II, FreeRTOS, SafeRTOS,
Freescale MQX, Nucleus, Tiny
OS, TI-RTOS, HP-UX, uTasker, emb
OS, PIC32,
PikeOS, and Green...
-
LDoms /
Oracle VM
Server for
SPARC Logical partition (LPAR)
LynxSecure PikeOS Proxmox VE QNX
SIMMON VMware ESXi
VMware vSphere vCloud VMware Infrastructure...
- not
proxied or
executing against an
emulated architecture since the
guest OS or
hardware is
providing the
environment for the
applications to run under...
-
MINIX (now MINIX3) MPE/iX
NetBSD Nucleus RTOS
NuttX OpenBSD OpenSolaris PikeOS RTOS for
embedded systems with
optional PSE51 and PSE52 partitions; see...
