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
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
BSD 2-Clause "Simplified" License