3. AdaCore GNAT Pro for Rust 25 Roadmap

This roadmap represents the current stage of AdaCore plans for its technology. It is not binding, and can change without notice. Products marks as “Beta” can be made available to customers supported on the corresponding products by contacting AdaCore support (https://www.adacore.com/support). Customers interested in trying out capabilities that they don’t have access to yet, or who are interested in discussing a more detailed status update can contact info@adacore.com

3.1. Toolchain

3.1.1. Gprbuild integration

Gprbuild will support building mixed Ada/Rust projects.

3.2. Embedded and Real-Time OS Support

3.2.1. x86_64 Linux hosted aarch64 Linux support

GNAT Pro for Rust will support x86_64 Linux hosted aarch64 Linux cross builds with rustc, cargo and gdb.

3.2.2. x86_64 Linux native support

GNAT Pro for Rust will support x86_64 Linux native builds with rustc, cargo and gdb.

3.2.3. x86_64 Windows hosted aarch64 Linux support

GNAT Pro for Rust will support x86_64 Windows hosted aarch64 Linux cross builds with rustc, cargo and gdb.

3.2.4. x86_64 Windows native support

GNAT Pro for Rust will support x86_64 Windows native builds with rustc, cargo and gdb.

3.3. Bare Metal Support

3.3.1. x86_64 Linux hosted aarch64 bare-board support

GNAT Pro for Rust will support x86_64 Linux hosted aarch64 bare-board cross builds with rustc, cargo and gdb. This will be a no-std target.

3.3.2. x86_64 Windows hosted aarch64 bare-board support

GNAT Pro for Rust will support x86_64 Windows hosted aarch64 bare-board cross builds with rustc, cargo and gdb. This will be a no-std target.