Ironclad, a formally verified Unix-like kernel written in Ada (via lorddimwit) — discussion

#osdev