GitHub repository: samueltardieu/pok
Primary language: C
Description: POK kernel. Safe and secure for safety-critical systems.