The following output seems to be the default: root@stm32mp2:~# cat /sys/class/remoteproc/remoteproc0/fw_format TEE  However, for debugging purposes, I would like to turn off firmware verification, and make the remoteproc driver accept plain ELF files...