pok-kernel / pok

POK kernel. Safe and secure for safety-critical systems.
100Updated 3 weeks ago

Alternatives and similar repositories for pok:

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