Source repository for the GNAT Bare Metal BSPs

Other

bb-runtimes

GNAT Components Collection – Database packages

gnatcoll-db

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

gnatstudio

GNAT Components Collection – Bindings to C libraries

gnatcoll-bindings

GNAT Components Collection – Core packages

gnatcoll-core

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

GNU General Public License v3.0

FreeRTOS-Ada