-
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...
-
LDoms /
Oracle VM
Server for
SPARC Logical partition (LPAR)
LynxSecure PikeOS Proxmox VE QNX
SIMMON VMware ESXi
VMware vSphere vCloud VMware Infrastructure...
- security-critical applications, the
company offers the
Hypervisor and RTOS
PikeOS, an
operating system for
multicore processors and the
foundation for intelligent...
- 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...
- Wind
River Linux QNX
Cisco IOS
Cisco Aire
OS Lynx
OS PikeOS RTOS and
virtualization platform from
SYSGO ELin
OS embedded Linux eCos
Broadcom BCM Tech RTEMS...
- 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...
