LynuxWorks LynxSecure 3.0 is the latest version of the LynxSecure next-generation separation kernel and embedded hypervisor designed for high-assurance systems.

LynxSecure 3.0 offers the ability to run fully virtualised guest operating systems simultaneously on the same hardware as para-virtualised and real-time operating systems, with each running in their own secure partition.

Full virtualisation means that guest operating systems can run unmodified on top of LynxSecure, allowing developers to build or port applications to run on a guest operating system where the sources are not available, or where it is impractical to modify the guest OS.

LynxSecure 3.0 virtualises the underlying hardware to enable multiple, heterogeneous operating systems (OS) to coexist on the same platform, including the mix of traditional desktop OSes like fully virtualised Windows and para-virtualised Linux, with hard real-time OSes like the LynxOS RTOS family.

LynxSecure will also take advantage of hardware virtualisation technologies, for example VT-x and VT-d found on many of the latest Intel processor platforms, to help accelerate performance of fully virtualised and para-virtualised guest operating systems.

This flexible approach allows for the consolidation of traditional discreet systems, both hardware and software onto modern multicore devices running multiple guest operating systems.

Key features include the addition of para-virtualised 64-bit Linux as a guest OS, Security enhancements for supporting audit and built-in tests, flexible scheduling and enhanced bootloader.

LynxSecure can run on any 32-bit or 64-bit processor with a memory management unit (MMU) and provides 100% application binary compatibility between a standalone OS and its virtualised version.

Like all LynuxWorks products, LynxSecure is based on open standards, but it also offers the highest real-time, safety and security capabilities, conforming to the MILS standard and certifiable to DO-178B level A.

More information: http://www.lnxw.com