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

(ironclad-os.org) by vitalnodo | Nov 8, 2025 | 144 comments on HN