News Archive (1999-2012) | 2013-current at LinuxGizmos | IoT and Embedded News Feed |    About   

Demo features POSIX-compliant separation kernel, Linux

Jan 22, 2007 — by LinuxDevices Staff — from the LinuxDevices Archive — 24 views

LynuxWorks will demonstrate a simulated aircraft environment based on embedded Linux, a proprietary separation kernel, and Intel Virtualization Technology, at the Open Group's Enterprise Architecture Conference (EAC) next week in San Diego. The demonstration shows Linux failing without affecting real-time POSIX applications running directly under the company's LynxSecure separation kernel.

The LynuxWorks demo will be part of a larger public demonstration on MILS (multiple independent levels of security). LynuxWorks describes MILS as an emerging architecture aimed an enabling a single processor to host applications with varying security requirements.

LynuxWorks's MILS technology is based on its LynxSecure separation kernel. The LynxSecure kernel offers an ultra high-reliability real-time POSIX API, and can also host OSes such as LynuxWorks's commercial BlueCat Linux distribution, within secure partitions, LynuxWorks says.

LynuxWorks LynxSecure architecture
(Click to enlarge)

LynuxWorks says its simulated aircraft demo for EAC shows a pair of applications running on a Linux guest OS, alongside a secure application running on top of LynxSecure. The demo will show that failure of the guest Linux OS does not impair operation of the LynxSecure application, the company says.

According to LynuxWorks CEO Gurjot Singh, “LynxSecure expands on LynuxWorks' proven real-time capabilities of the LynxOS real-time operating system.”

Additional details about the Open Group's Enterprise Architecture Practitioners Conference can be found here.

This article was originally published on and has been donated to the open source community by QuinStreet Inc. Please visit for up-to-date news and articles about Linux and open source.

Comments are closed.