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