search

pok-kernel / pok

POK kernel. Safe and secure for safety-critical systems.
https://pok-kernel.github.io/
BSD 2-Clause "Simplified" License
89 stars 61 forks source link
arinc653 c kernel microkernel mils security

readme

Code Quality Score Code Grade Build status

POK

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

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

We prefer the GitHub issue tracker to be used for bug reports, questions and suggestions. Support requests and collaboration proposals can be sent to pok-maintainers@listes.telecom-paris.fr.