-
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...
- security-critical applications, the
company offers the
Hypervisor and RTOS
PikeOS, an
operating system for multi-core
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...
-
Verification of
PikeOS Archived July 19, 2011, at the
Wayback Machine "Getting it Right" by Jack
Ganssle Harris, Robin. "Unhackable
OS?
CertiKOS enables...
- 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...
- not
proxied or
executing against an
emulated architecture since the
guest OS or
hardware is
providing the
environment for the
applications to run under...
- 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...
-
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...
-
PlayStation 5
system software PikeOS – a
certified real time
operating system for
safety and
security critical embedded systems NonStop OS -
formerly Guardian (Tandem)...
