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