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

#formalmethods #osdev