Hi Daniel
one can program A9 u-boot to an SD card as usual then
load the M4 binary out.bin to the SD at offset 1MB, (ex: dd if=out.bin of=<sd card> bs=512 seek=2k)
Insert the SD card on the board and when u-boot comes up execute the following commands:
// Read the code from the SD into DDR
mmc read 0x80800000 0x800 2
// Copy the code from DDR to TCM
cp.l 0x80800000 0x007f8000 1024
// Enable the M4
mw.l 0x020d8000 0xA0480539 1
// Release M4 reset
mw.l 0x020d8000 0xA0480529 1
The M4 binary should start
Best regards
igor