Ironclad 0.7.0 Released

May 27, 2025 - By Cristian <streaksu@ironclad-os.org>

The project has grown a bit since last release, and this release brings a lot of changes, updates on how we do things in Ironclad, and a big flow of developers into the project!

The next release, which should be ready by the end of June or beginning of July, will include USB support, and improvements to the formal verification of the project, along with bug fixes.

The release can be found and downloaded at Codeberg’s releases page.

Here is a list of all the changes worth mentioning:

Non-breaking changes

Breaking changes

The people behind this release

Feedback

For any feedback, please contact us at one of Ironclad’s communities, or, as a second option, contact the people behind this release.