Ferrocene is a qualified Rust compiler toolchain for mission-critical and functional safety systems. Qualification is estimated at end of Q1 2023 and is being led by a joint effort between Ferrous Systems GmbH and AdaCore. Ferrocene will be first made available to customers in the ISO26262 space with others like DO-178C, IEC 61508 and IEC 62278 in mind.