Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
PrototypeCommon

pok-kernel/pok

POK kernel. Safe and secure for safety-critical systems.

Owner
pok-kernel (organization)
Stars
Stars: 122
Forks
Forks: 68
Language
C
License
BSD-2-Clause
Created
2014
Topics
ckernelmilsarinc653securitymicrokernel
Tier
Prototype (100 to 249 ★) What this tier means
View on GitHub

Nearby in C

All C repos