This repository contains the sources to generate GNAT Ada/SPARK runtimes for a variety of bare-metal embedded targets.
Pre-generated runtimes are released as crates in the Alire Community Index.
Here's a list of the targets supported by this repository, with links to their target-specific documentation:
- Raspberry Pi RP2040
- Raspberry Pi RP2350
- Nordic Semi nRF52 Series
- Nordic Semi nRF54L Series
- STMicroelectronics STM32F0xx Series
- STMicroelectronics STM32G0xx Series
- STMicroelectronics STM32G4xx Series
The runtimes are configurable through Alire's crate configuration variables. Refer to the target-specific READMEs above for details on what is configurable for each target.
Runtime crates are provided for the light, light-tasking, and embedded
predefined GNAT runtime profiles.
For example, the light_tasking_rp2040 crate provides the light-tasking
runtime profile for the RP2040 target.