News for hackers. Stuff that matters.

A comment on Lions OS: secure – fast – adaptable. Parent comment

Re:Lions OS: secure – fast – adaptable by nickpsecurity on Thursday April 18, 2024 @10:27AM (#40076648)
Are its TCB and integration similarly verified? If not formally-verified, are they in a safe language or statically analyzed to block common errors?
[ Parent | on HN ]
Re:Lions OS: secure – fast – adaptable by monocasa on Thursday April 18, 2024 @01:42PM (#40078735)
I mean, LionOS appears to (with the exception of sel4 itself) be mainly written in unverified C without heavy static analysis.

So LionOS and Genode appear to be about equal in that regard.

[ Parent | on HN ]