@igorpadykov I have a last question for you. Fabio strangely stopped answering my last questions, including this one below:
no device in /sys/class/remoteproc/
root@imx7d-pico:/sys/class/remoteproc# ls
root@imx7d-pico:/sys/class/remoteproc# pwd
/sys/class/remoteproc
root@imx7d-pico:/sys/class/remoteproc# ls
root@imx7d-pico:/sys/class/remoteproc#
What do I have to do to show devices in this directory there?