Skip to content

Commit

Permalink
README: make it clear that LionsOS is not finished
Browse files Browse the repository at this point in the history 
Signed-off-by: Ivan-Velickovic <[email protected]>
  • Loading branch information
@Ivan-Velickovic
Ivan-Velickovic committed Oct 29, 2024
1 parent 97903c6 commit c0356e7
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ 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.

For documentation on LionsOS and the reference example system, see the
[LionsOS website](https://lionsos.org).
LionsOS and its verification story are under active research and development.

For more information, see the [website](https://lionsos.org).

0 comments on commit c0356e7

Please sign in to comment.