Rodeo-McCabe's repositories
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
cortex-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit