This repository contains Ada software for the implementation of Ravenscar Short Foot-Print (SFP) and FULL Runtimes for the STM32G474 CPU with a complete modified Ada Drivers Library (ADL) from Adacore for its peripherals. It was used AVD2Ada for generating the peripherals specification files, bb-runtimes for generating the Ravenscar real-time runtimes and an ADL structure with all the necessary drivers.
The main board used for developing this software is the NUCLEO-G474RE, from ST Microelectronics, that has connectors for Arduino shields and ST MORPHO expansion connector, so you may connect any Arduino shield on it and develop your own software. There are several examples for testing the runtime with drivers, including a DC-AC 50/60 Hz inverter from 12 V to 220 VAC with a low frequency transformer. The sinusoidal wave is synthesized with PWM modulation.
You may use the GNAT Programming Studio from Adacore or Visual Studio Code from Microsoft to cross-compile these sources. For VSCode, it has a .vscode/tasks.json file that permits to check syntax and semantic, compile, build, clean, convert elf to hex and bin files and flash hex and bin files to board. Both IDEs need the ST-LINK (version 1.7 or later) to flash the executable to the nucleo board, but the VSCode has the option to use STM32CubeProgrammer and flash elf files.