SD

sduverger/pok

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

pok

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

On this page

Languages

C84.5%Perl5.2%Makefile3.3%Assembly2.2%Ada2.1%C++1.4%Objective-C0.9%Shell0.4%

Contributors

BSD 2-Clause "Simplified" License

Created September 17, 2018

Updated September 17, 2018

sduverger/pok | GitHunt