Application dependencies on centralized operating system (OS) abstraction layers—data services and hardware control—make it very difficult to formally verify the security properties of a software system.
Rather than attempting to shape system behavior indirectly by issuing commands to platform APIs according to a programming manual, LynxSecure allows developers to directly control system behavior through a unique system architecture specification written by the developer and enforced solely by the processor.
LynxSecure is available for Arm, PowerPC and x86 architectures, running directly on the platform to separate hardware resources into virtual machines used to host software, including:
Our own research as well as 3rd party research indicates that the most popular OSes used in embedded systems are (1) Linux; (2) in-house/custom OSes; and (3) FreeRTOS.
Lynx loves Linux and already offers Buildroot in LYNX MOSA.ic™. We also support a number of 3rd party OSes (and will even support competitor OSes) while of course offering our own RTOSes where suitable, but FreeRTOS was noticeably absent.
As the #2/#3 OS of choice currently and as the OS planned for fully a third of upcoming embedded projects, adding FreeRTOS support was a clear choice as we continue to deliver on the vision of MOSA by providing customers with open source solutions within a secure and safe development framework.
Finally, FreeRTOS truly embodies what we think a Guest OS in Lynx technologies should be: