Quinn “The Eskimo!”Nov 11

Formally verified Unix-y kernel written in Ada is /not/ something I had on my Bingo card.

“Ironclad OS crafts Unix-like kernel in Ada and SPARK”

https://www.theregister.com/2025/11/10/ironclad_os_unix_like_kernel/

Ironclad OS project popping out Unix-like kernel in a unique mix of languages

: There's more to safer systems languages than Rust

The Register
Loading replies...