-
partition types for
various operating systems (
OS) and applications, each
referred to as a Guest
OS.
PikeOS is
designed to
facilitate the
development of...
- have
fixed deadlines use a real-time
operating system such as VxWorks,
PikeOS, eCos, QNX,
MontaVista Linux and RTLinux.
Windows CE is a real-time operating...
- 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...
-
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...
-
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...
-
Linux as a
standalone operating system or it can be
integrated into the
PikeOS virtualization platform if
safety and
security demands cannot be met by...
- 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...