Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada (via pyj) — discussion
#formalmethods #osdev
