Safety-Critical Tool Submission: Ferrocene compiler toolchain #419
Description
What is the name of the tool?
Ferrocene compiler toolchain
What is a description of the tool, what it does, how it would be used?
Ferrocene is the open-source qualified Rust compiler toolchain for safety- and mission-critical systems. Qualified for automotive, industrial and medical development: ISO 26262 (ASIL D), IEC 61508 (SIL 4) and IEC 62304 available targeting Linux, QNX Neutrino or your choice of RTOS.
Link to the tool repo or homepage
What is your role/connection to this tool?
Other
Tool category
qualified-compiler