Hi everyone,
I am working with the rpmsg_lite_str_echo_rtos_imxcm4 and having some mishaps.
Following the readme.txt from the example, i am able to load the .bin to the M4 core.

(although is weird to me why core stack is not at 0x007e0000)


But i am not able to see the /dev/ttyRPMSG30 device driver supposed to be created when the imx_rpmsg_tty kernel module is loaded. Thus failing when:

Doing some research i found that imx8mm-navq.dtb disables rpmsg

could that be the reason?
Thanks in advance