dzavalishin/pok

POK kernel. Safe and secure for safety-critical systems.

POK

POK kernel, a secure and safe micro-kernel for embedded systems.

More information on https://pok-kernel.github.io/

For commercial support: http://www.reblochon.io.

Contact: pok at gunnm dot org