HN
New
Show
Ask
Jobs
Built with Solid
Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada
(nlnet.nl)
3 points | by
berkeleynerd
8 hours ago ago
No comments yet.
No comments yet.