N nlnet.nl Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada 4 points berkeleynerd 2 years ago 1 comments
