3 ms·
Ironclad: A formally verified Posix-compatible kernel written in Ada
- ajdude 3y agoSee also: > An OS built with the Ironclad kernel and GNU tools (github.com/streaksu) > https://news.ycombinator.com/item?id=38501683 https://news.ycombinator.com/item?id=38501683