GNAT Pro for Rust and VxWorks 7 Partnership Overview

This document is a partner solution brief detailing the collaboration between Wind River and AdaCore to provide GNAT Pro for Rust for VxWorks 7. The partnership aims to deliver a qualifiable Rust toolchain for critical applications, targeting embedded development teams. It outlines the features of the toolchain, including support for native, x86, and Arm architectures, and highlights the compliance with SLSA Level 3 standards. The document explains the advantages of using Rust for embedded systems, emphasizing performance and safety. It also discusses the long-term support and updates provided by the partnership, ensuring that developers have access to stable releases and security updates. Additionally, the brief mentions the interoperability with other programming languages and the focus on safety certification for various industries, such as avionics and rail. The document concludes with an overview of the capabilities of both companies in supporting mission-critical software development.