pok-kernel / pok

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

Related projects

Alternatives and complementary repositories for pok