From 9d6957c8c5ffab5d986f4a16cac7e12c52d0d0d7 Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Wed, 13 May 2026 12:34:07 +0400 Subject: [PATCH] espidf_gnat_runtime 0.1.0 (via `alr publish`) (#1911) --- .../espidf_gnat_runtime-0.1.0.toml | 47 +++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 index/es/espidf_gnat_runtime/espidf_gnat_runtime-0.1.0.toml diff --git a/index/es/espidf_gnat_runtime/espidf_gnat_runtime-0.1.0.toml b/index/es/espidf_gnat_runtime/espidf_gnat_runtime-0.1.0.toml new file mode 100644 index 00000000..b9bef35b --- /dev/null +++ b/index/es/espidf_gnat_runtime/espidf_gnat_runtime-0.1.0.toml @@ -0,0 +1,47 @@ +name = "espidf_gnat_runtime" +description = "A0B: GNAT Runtime for ESP-IDF" +website = "https://github.com/godunko/espidf_gnat_runtime" +version = "0.1.0" +long-description = """ +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-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. +* **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. + +### **Target Audience** +This crate is intended for embedded developers using GNAT cross-compilers who wish to build high-integrity applications on the ESP32-S3 or ESP32-C3. +It is a vital component for any project aiming to bring Ada's rigorous safety standards to the Espressif ecosystem. +""" + +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "Apache-2.0 WITH LLVM-exception" +tags = ["embedded", "esp32", "espidf", "runtime"] + +auto-gpr-with=false + +[configuration] +generate_ada = false +generate_c = false +generate_gpr = false + +[[actions]] +type = "test" +directory = "selftest" +command = ["alr", "build"] + +[origin] +commit = "6d5539260aad3c985c275d4a753b6e20c3084f27" +url = "git+https://github.com/godunko/espidf_gnat_runtime.git" +