samueltardieu / pok

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

https://pok-kernel.github.io/

Geek Repo

Github PK Tool

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

About

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

https://pok-kernel.github.io/

BSD 2-Clause "Simplified" License

Languages

Language:C 82.0%Language:Makefile 5.1%Language:Perl 4.0%Language:Ada 2.2%Language:Assembly 2.0%Language:Python 1.9%Language:C++ 1.8%Language:Objective-C 0.8%Language:Shell 0.3%