GNAT Pro for Rust User’s Guide

Version 28.0w

Date: Sep 30, 2026

AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the Apache License, Version 2.0 or any later version published by The Apache Software Foundation. A copy of the license is included in the section entitled Apache License.

• 1. About This Guide
  • 1.1. What This Guide Contains
  • 1.2. What You Should Know before Reading This Guide
  • 1.3. Related Information
  • 1.4. Conventions
• 2. Getting Started with GNAT Pro for Rust
  • 2.1. Supported Platforms
  • 2.2. Product Components
    • 2.2.1. Tools
    • 2.2.2. Libraries
    • 2.2.3. Examples
    • 2.2.4. Documentation
  • 2.3. Installing the Product
    • 2.3.1. Rust Analyzer VS Code Extension
  • 2.4. Running a Simple Rust Program
    • 2.4.1. Creating
    • 2.4.2. Building
    • 2.4.3. Running
    • 2.4.4. Debugging
  • 2.5. Running the Rust Tools
    • 2.5.1. Rust Analyzer
    • 2.5.2. clippy
    • 2.5.3. rustdoc
    • 2.5.4. rustfmt
• 3. Developing Mixed-Language Projects
  • 3.1. Current Limitations
  • 3.2. Ada Main with Rust Library
    • 3.2.1. Rust Library
    • 3.2.2. Ada Main
  • 3.3. Rust Main with Ada Library
    • 3.3.1. Ada Library
    • 3.3.2. Rust Main
• 4. Platform-Specific Information
  • 4.1. Native Linux and Native Windows
    • 4.1.1. Introduction
    • 4.1.2. Limitations
    • 4.1.3. Using GNAT Pro for Rust
  • 4.2. AArch64 Bare Metal
    • 4.2.1. Introduction
    • 4.2.2. Limitations
    • 4.2.3. Using GNAT Pro for Rust
    • 4.2.4. Using the zynqmp crate
  • 4.3. AArch64 Linux
    • 4.3.1. Introduction
    • 4.3.2. Limitations
    • 4.3.3. Using GNAT Pro for Rust
  • 4.4. AArch64 QNX 8.0
    • 4.4.1. Introduction
    • 4.4.2. Limitations
    • 4.4.3. Using GNAT Pro for Rust
  • 4.5. AArch64 VxWorks DKM
    • 4.5.1. Limitations
    • 4.5.2. Using GNAT Pro for Rust
  • 4.6. AArch64 VxWorks RTP
    • 4.6.1. Introduction
    • 4.6.2. Limitations
    • 4.6.3. Using GNAT Pro for Rust
  • 4.7. Arm 32-bit Bare Metal
    • 4.7.1. Introduction
    • 4.7.2. Limitations
    • 4.7.3. Using GNAT Pro for Rust
    • 4.7.4. Using the zynqmpr5-bsp crate

• A. Apache License