Security-focused microkernel goes in for some seL4-care, becomes a foundation to keep that ecosystem growing

The team behind the seL4 secure microkernel has created a foundation to help build a wider ecosystem. The new seL4 Foundation will operate under the umbrella of the Linux Foundation. As is usually the case with such things, it will be an independent body that governs the project's evolution in consultation with developers and …

[Pascal Monett]

"developers and other stakeholders"

Beware the "other stakeholders". There's a good chance that at least one of them has the NSA's interests in mind, and that of the community.

Not saying that that is necessarily the case, but it is something to be on the lookout for.

And you can replace NSA with the political entity of your choice, of course.

[ExampleOne]

Re: "developers and other stakeholders"

This is where the whole formal verification thing comes in... if it’s correct it IS correct, like 1+1=2.

[Claptrap314]

Re: "developers and other stakeholders"

Keep in mind that the NSA is on record AGAINST backdoored systems such as the infamous Clipper chip.

The NSA has two missions. One is to crack the systems of others. The other is to secure "ours"--where "ours" is broader than just the government. Of course, as with any system with competing priorities, things can get messy.

I WANT the NSA involved.

[Robert Grant]

Can't wait for systemd to be added.