LynuxWorks, a leader in embedded software, provides open and reliable real–time operating systems and tools including the open-source BlueCat Linux and the LynxOS RTOS family, meeting the needs for the highest level of embedded software security. Our LynxSecure separation kernel uses the space and time partitioning features of LynxOS-178 safety–critical RTOS to provide the foundation for building highly secure systems utilizing the MILS (Multiple Independent Levels of Security) architecture and is designed for certification to Common Criteria EAL–7 as well as DO–178B level A. read more ...