NICTA is ‘safe’ SeL4 microkernel opensource




The organization NICTA and General Dynamics C4 Systems have this week SeL4 microkernel released as open source software. These include the complete code for the kernel, tools, libraries and sample programs.

SeL4, short for Secure Embedded L4 microkernel, came five years ago in the news after the software was tested extensively for years on the basis of the analysis of mathematical calculations. It showed that the relatively small kernel was free of bugs, which according to NICTA is still the case today. To support the claim, it also has the “evidence” released to the community.

According to the developers the SeL4 microkernel withstands various common attacks such as stack smashing, abusing exploits and return-oriented programming. “SeL4 tilt the reliability of software to a new level and will develop real reliable systems support,” said NICTA.

The organization says that currently comprise major software fundamental flaws. Software that this is particularly the case, according to NICTA applications in industry and in vehicles, such as cars and airplanes. “What has been released is not only the breakthrough NICTA reached in 2009, but also the complete work there beyond is added.”


In: Technology & Gadgets Asked By: [15446 Red Star Level]

Answer this Question

You must be Logged In to post an Answer.

Not a member yet? Sign Up Now »