9 ms·

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

• vilvo 2y ago
  Correctness via formal verification - at least in the core of sel4.
  • monocasa 2y ago
    Genode can also run on sel4.
    • nickpsecurity 2y ago
      Are its TCB and integration similarly verified? If not formally-verified, are they in a safe language or statically analyzed to block common errors?
      • monocasa 2y ago
        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.
• onjectic 2y ago
  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.