SYSGO

SYSGO provides operating system technology, middleware, and software services for the real-time and embedded market. A differentiating capability of SYSGO is the Safe and Secure Virtualization platform PikeOS, a paravirtualization operating system which is built upon a small, fast, and safe microkernel.