Ferrocene 25.11 actually includes core now

298 points cat_bee12 14 comments

Ferrocene 25.11.0 just dropped, and it now includes a certified subset of the Rust core library (core) for IEC 61508. That means certifiable Rust for safety-critical use across multiple architectures, which is pretty significant for anyone working in regulated environments.

Release notes:
https://public-docs.ferrocene.dev/main/release-notes/25.11.0.html

Technical blog post with details on what exactly is certified:
https://ferrous-systems.com/blog/ferrocene-25-11-0/

Posting because I figured some folks here working in embedded / safety-critical might find this interesting. They announced it a while ago and now it's actually here.