Книги Евгений Турышев
Язык Ada на Atmel SAM4 (Cortex-M) - быстрый старт
Год выхода: 2018
Евгений Турышев подробно разбирает работу с GNAT для встраиваемых ARM процессоров на примере конкретной платы.