HAVK

An attempt at a minimalistic and secure operating system.

GitHub
24 stars
2 watching
1 forks
Language: Ada
last commit: over 3 years ago
Linked from 1 awesome list

adakerneloperating-systemosdevsecurityspark-ada

Backlinks from these awesome lists: