Wind River has announced the launch of an EAL4+ certified embedded Linux OS, Wind River Linux Secure. The certification platform is ARM, “including hardware from Texas Instruments, Intel and Power architectures”. SELinux is utilized for mandatory access control. This is the first commercial embedded Linux OS to receive this level of certification.
Archive for the 'Commercial Products' Category
According to a press release from atsec, Oracle Enterprise Linux (OEL) 5.1 has been certified under common criteria to EAL4+ via LSPP, CAPP and RBACPP profiles. This is similar to previous certifications for Red Hat Enterprise Linux (upon which OEL is based), although it appears that this certification additionally covers the running of an unprivileged virtualized instance of the OS.
The OpenSUSE project has announced that OpenSUSE version 11.1 will include basic SELinux enablement. This effort will include enabling SELinux in their kernel, requisite patches to system tools, and SELinux support libraries. SELinux-specific tools will not be shipped by default, but will be available via the distribution repositories. Initial security policies, if shipped, will be limited to standard reference and minimal policies. SELinux will also be shipped as part of SUSE Linux Enterprise 11 as a technology preview. Community discussion on the topic is directed to the OpenSUSE Factory mailing list.