Ironclad (formally verified kernel) 0.6.0 released #1 Post by gneuromante » Wed, Feb 05, 2025, 6:07 PM UTC Ironclad (formally verified kernel) 0.6.0 releasedsavannah.nongnu.org