The espidf_gnat_runtime provides the runtime support libraries required to develop Ada and SPARK applications for Espressif SoCs. It serves as the foundational layer that enables the GNAT compiler to target Espressif’s hardware, providing the essential infrastructure to bridge Ada language features with the underlying system.

By using this runtime, developers can leverage the safety, strong typing, and formal verification capabilities of Ada and SPARK on popular, low-cost microcontrollers.

Supported Architectures

• Xtensa: Full support for the ESP32, ESP32-S3 series.
• RISC-V: Full support for the ESP32-C3 series.

Key Features

• Ada Language Support: Implements essential Ada features, including exception handling, controlled types, and secondary stacks.
• Standard Library: Supports a rich set of standard packages, including Ada.Numerics, Ada.Strings, Ada.Containers, and more.
• Real-Time Concurrency: Provides support for the Jorvik profile, enabling the use of Ada tasks and protected objects for safe, concurrent programming.
• Hardware Interoperability: Designed to support applications running alongside the ESP-IDF environment, allowing Ada code to coexist with Espressif’s system services.
• Verified Quality: Validated using the ACATS (Ada Conformity Assessment Test Suite) to ensure language compliance and runtime stability on both Xtensa and RISC-V targets.

Usage

The runtime is generated at build time by the a0b-runtime tool (crate a0b_tools) from the SoC-specific runtime-<soc>.json description and svd/<soc>.svd file provided by this crate. Start a new project from one of the SoC-specific templates (ESP32, ESP32-C3, ESP32-S3), which set up the toolchain, linker, and build system configuration.