Ferrous Systems just announced they qualified libcore

Not a lot of details yet - just that they qualified a "significant subset" of the Rust library to IEC61508 announced over on linkedin https://www.linkedin.com/company/ferrous-systems

Direct link: https://www.linkedin.com/posts/ferrous-systems_ferrocene-rustlang-libcore-activity-7373319032160174080-uhEy (s/o u/jug6ernaut for the comment)