stm32mp1xx

1) Полученный после компиляции firmware.elf копируется на целевые устройства в папки:
/lib/firmware/ - в этой папке драйвер будет искать прошивку по имени файла, сюда копируется из предыдущей папки
  

2) Далее выполняются команды:
echo stop > /sys/class/remoteproc/remoteproc0/state - останавливаем выполнение прошивки
echo "firmware.elf" > /sys/class/remoteproc/remoteproc0/firmware - указали имя файла прошивки
echo start > /sys/class/remoteproc/remoteproc0/state - драйвер найдет файл с нужным именем и загрузит его в ОЗУ МК

3) Теперь можно подключать к плате отладчик. Для гетерогенных процессоров openocd открывает несколько портов для отладки,
в данном случае два. Первым (3333 по-умолчанию) идет порт для А7, следующим (3334) будет порт для М4. Важно, чтобы gdb при отладке прицепился
именно к нужному порту:
gdb> target extended-remote localhost:3334