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