Overview

GNAT Pro for Rust is designed to provide stability, security, and dependability for critical, embedded Rust applications. It includes a compiler (rustc), a build and package manager (cargo), and a debugger (gdb) for x86_64 Linux and Linux cross targets. The product is currently in early-access for select customers and will offer full integration with gprbuild upon official launch. GNAT Pro for Rust supports advanced Ada-Rust bidirectional bindings and is built using AdaCore’s fully reproducible build system, ensuring complete control over every aspect of the build.

Features

• Complete Toolchain: Includes a compiler, build and package manager, and debugger for x86_64 Linux and Linux cross targets.
• Yearly Updates: Incorporates selected, recent enhancements from the upstream development, ensuring a stable and tested Rust toolchain.
• Security: Built using AdaCore’s fully reproducible build system, providing full access to security-related documents and Software Bill of Materials.
• Sustained Branch Service: Offers support for critical updates and known-problem reports for as long as needed.
• Platform Support: Supports popular embedded processors and RTOSs, with a growing list of supported platforms.
• Expert Support: Provides best-in-class support from the engineers who develop and maintain the product.
• Interoperability: Integrates Rust code into existing Ada, C, and C++ projects with seamless hybrid-language project builds.
• Certification Support: Aims to support safety-certification needs such as avionics (DO-178), rail (EN-50128), and space (ECSS-E-ST-40C and ECSS-Q-ST-80C).

Benefits

• Stability: Ensures a stable and tested Rust toolchain ready for industrial use.
• Security: Provides confidence that the software hasn’t been tampered with and can be traced securely back to its sources.
• Long-term Support: Guarantees product stability with controlled evolution to correct problems.
• Flexibility: Supports a wide range of platforms and configurations, making it adaptable to various project requirements.
• Expert Assistance: Offers direct access to expert consulting and support services.
• Certification Ready: Simplifies development and verification for certification in safety-critical industries.