lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel (by au-ts)

Lionsos Alternatives

Similar projects and alternatives to lionsos

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better lionsos alternative or higher similarity.

lionsos reviews and mentions

Posts with mentions or reviews of lionsos. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-04-09.
  • Lions OS: secure – fast – adaptable
    1 project | news.ycombinator.com | 18 Apr 2024
    Seems to be this:

    https://www.lionsos.org/

    https://github.com/au-ts/lionsos

    > LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performance-oriented design and strict adherence to the time-honoured KISS principle.

  • SeL4 Device Driver Framework 0.4.0
    4 projects | news.ycombinator.com | 9 Apr 2024
    They also announced a new OS called Lions OS: https://github.com/au-ts/lionsos

Stats

Basic lionsos repo stats
2
66
9.4
11 days ago

au-ts/lionsos is an open source project licensed under BSD 2-clause "Simplified" License which is an OSI approved license.

The primary programming language of lionsos is C.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com