New features¶

A subset of the core library has been certified to IEC-61508 SIL 2. For more information, see the Core library overview and Core Library Certification.

New experimental features¶

Experimental features are not qualified for safety critical use, and are shipped as a preview.

• Experimental support has been added for cargo miri, an unstable undefined behavior detection tool. Other than installation, usage is according to upstream documentation.

  The package is available as:

  • miri-${rustc-host}

• The testing facades used to test core are now available for customer use. On their respective target pages, the following targets now have an equivalent testing facade which can be used for testing:

  • Armv8-A bare-metal

  • Armv7E-M bare-metal (soft-float)

  • Armv7E-M bare-metal (hard-float)