seL4 / refosLinks

Prototype no-assurance reference OS personality built on seL4
50Updated 2 months ago

Alternatives and similar repositories for refos

Users that are interested in refos are comparing it to the libraries listed below

Sorting: