News for hackers. Stuff that matters.

A comment on Feds: Critical Software Must Drop C/C++ by 2026 or Face Risk. Parent comment

Re:Feds: Critical Software Must Drop C/C++ by 2026 or Face Risk by microkerneldude on Sunday November 03, 2024 @02:11AM (#42031591)
seL4 is a bit more than a hypervisor, but it's definitely very low-level. In terms of a useful seL4-based system, you may want to look at https://trustworthy.systems/projects/LionsOS/ – not yet verified, but will be.
[ Parent | on HN ]

There are no comments on this comment yet.