Ironclad – formally verified, real-time capable, Unix-like OS kernel

Published: November 8, 2025

Source: Hacker News

Categories: Development
Tags: capable code formally go ironclad real-time verified
metaimage
User manual Formal verification Supported hardware Changelog Trademark and logo use Code licensing

Read more on Hacker News

Related Articles