pok-kernel / pok

POK kernel. Safe and secure for safety-critical systems.
94Updated last month

Related projects

Alternatives and complementary repositories for pok