The organisation Nicta and General Dynamics C4 Systems, have this week the SeL4-microkernel released as open source software. It involves, among others, the complete code of the kernel, tools, libraries and example programs.
SeL4, in full the Secure Embedded L4 microkernel, came five years ago in the news after the software for many years had been extensively tested on the basis of the analysis of mathematical calculations. It was found that the relatively small kernel was free of bugs, which, according to Nicta is now still the case. In support of the claim, it also has the ‘evidence’ released to the community.
According to the SeL4 developers endure the microkernel several common attacks such as stack smashing, the abuse of exploits, and return oriented programming. “SeL4 takes software reliability to a new level and will allow for the development of real reliable systems support”, says Nicta.
The organization says that the major software today fundamental deficiencies. Software where this is the case, according to Nicta applications in industry and in vehicles, such as cars and airplanes. “What is released is not only the breakthrough that Nicta in 2009, it reached, but also the complete work that there the years that followed has been added.”
Comments
(28)