Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada

3 pointsposted 8 hours ago
by berkeleynerd
(nlnet.nl)

No comments yet