Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Adanlnet.nl4 pointsberkeleynerd2 years ago