Tuesday, October 27, 19:42
Home security The Linux Foundation supports seL4 microkernel OS to enhance security

The Linux Foundation supports seL4 microkernel OS to enhance security

Linux Foundation seL4

The Linux Foundation works with Data61, the digitally specialized division of the National Science Organization of Australia, Commonwealth Scientific and Industrial Research Organization (CSIRO), in an effort to promote it new core of the seL4 operating system, oriented to safety.

The seL4 microkernel not related to Linux. However, it can, in theory, be used as a basis for both Linux as well as for other functionalities systems, related to Unix. For example, its use in operating is considered system Gnu Hurd by Richard M. Stallman. Now, the latest version allows seL4 to be developed more widely.

This nucleus is a member of it family microkernel L4. SeL4 is one mathematically proven right core operating system, without errors. His goal is strenghening of security. According to Data61, it is the first operating system in the world that has been proven mathematically and has very high performance and enhanced properties. security. In the future, he will be able to support significantly systems in real time.

The role of the Linux Foundation is to host the new body SeL4 Foundation. In essence, it will support the seL4 Foundation by providing know-how and services to increase community engagement, while at the same time helping to develop the OS ecosystem.

The founding members of this venture are: Data61, UNSW Sydney, HENSOLDT Cyber ​​GmbH, Ghost Locomotion, Cog Systems and DornerWorks.

SeL4 will be used in critical computing systems (in real time), in which the safety is very important. It is said to be used in key areas:

  • electronic equipment on aircraft
  • autonomous vehicles
  • medical Appliances
  • critical infrastructure
  • defense

Carl L. Nerup, CEO of Cog Systems, said:

"SeL4 has set a new standard of high reliability for connected people Appliances. This enables us to offer commercial solutions that meet the strict market requirements for higher security standards and protection".

LEAVE ANSWER

Please enter your comment!
Please enter your name here

Digital Fortress
Digital Fortresshttps://www.secnews.gr
Pursue Your Dreams & Live!

LIVE NEWS

00:01:47

Data breach in a law firm exposes data of Google employees

Immigration law firm Fragomen, Del Rey, Bernsen & Loewy, LLP revealed that it suffered a data breach that led to the leakage of personal data ...

How to install a .watchface file on Apple Watch

The Apple Watch lets you customize the faces of the watch to display all kinds of useful information. But did you know ...

The five biggest data breaches of the 21st century

Data is becoming more and more sought after as our daily lives become more digitized. The technology giants that monopolize data are ...

Microsoft is limiting the availability of Windows 10 20H2

Microsoft is currently restricting the availability of Windows 10 20H2 to provide all users who want to ...

How to enable the new Chrome Read more feature

The latest version of Google Chrome browser, v86, released earlier this month, contains a secret feature called Read ...

How to choose a custom color for the Start menu

Starting with the October 2020 update, Windows 10 is the default on a theme that removes bright colors from ...

NASA telescope discovers drinking water on the moon

Eleven years ago, a spacecraft changed our view of the moon forever. The data collected by ...

Microsoft: Enhances password spray attack detection capabilities

Microsoft has significantly improved the ability to detect password spray attacks in the Azure Active Directory (Azure AD) and has reached the point ...

How to prevent companies from finding our phone number

In the age of advertising, the more user information is known the more convenient it is for companies. And in particular, the ...

Violation in a psychotherapy clinic led to blackmail of patients

Two years ago, a cyber attack took place in a Finnish psychotherapy clinic, which resulted in data theft and ransom demand. Now,...