Hi @hfranco.tx,
Thanks for your answer!
OK, I will try that. I already know that article since also used it to modify the device tree (although there is still a problem with it, perhaps you could also taken a look at my post for that problem).
Concerning the defconfig, it already seems to enable what I need, thanks for pointing that out. I did not know that it is specified in there.
Is there a simple way (on the Linux console) to verify that RPMSG is actually included in the image ?
Best regards,
Jeroen