Lions OS: secure – fast – adaptable

Re:Lions OS: secure – fast – adaptable by pgraf on Thursday April 18, 2024 @07:45AM (#40075151)

Can anyone elaborate which (proposed) advantages LionsOS has over Genode?

[ Parent | on HN ]

Re:Lions OS: secure – fast – adaptable by vilvo on Thursday April 18, 2024 @09:20AM (#40075914)

Correctness via formal verification - at least in the core of sel4.

[ Parent | on HN ]

Re:Lions OS: secure – fast – adaptable by monocasa on Thursday April 18, 2024 @09:35AM (#40076068)

Genode can also run on sel4.

[ Parent | on HN ]

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 ]

Re:Lions OS: secure – fast – adaptable by onjectic on Thursday April 18, 2024 @06:50PM (#40081569)

Just as new to LionsOS as you are, but it has a much more permissive license, and it’s not dual licensed. I think this will make it easier for people to support the project.

[ Parent | on HN ]