Пример проекта для сборки при помощи make. Мигает светодиодом LD7 на плате STM32MP157A-DK1.
После сборки blink.elf скопировать в /lib/firmware/ целевой системы.
echo blink.elf > /sys/class/remoteproc/remoteproc0/firmware #название файла для загрузки
echo start > /sys/class/remoteproc/remoteproc0/state #запустить ядро M4
echo stop > /sys/class/remoteproc/remoteproc0/state #остановить ядро M4
cat /sys/class/remoteproc/remoteproc0/state #проверка состояния ядра M4