Suggest an alternative to

lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

Why do you think that https://github.com/kernkonzept/manifest is a good alternative to lionsos

A URL to the alternative repo (e.g. GitHub, GitLab)

Here you can share your experience with the project you are suggesting or its comparison with lionsos. Optional.

A valid email to send you a verification link when necessary or log in.