Ironclad: A formally verified Posix-compatible kernel written in Ada | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Ironclad: A formally verified Posix-compatible kernel written in Ada (nongnu.org)
		5 points by ajdude on Jan 3, 2024 \| hide \| past \| favorite \| 1 comment

ajdude on Jan 3, 2024 [–]

See also:

> An OS built with the Ironclad kernel and GNU tools (github.com/streaksu)

> https://news.ycombinator.com/item?id=38501683

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact