The Linux kernel config that ships with this version of the Linux Processor SDK already has RPMsg module support enabled. The rest of this section is to show how/where to enable/disable the modules ...
ATDE$ apt install gcc-arm-none-eabi cmake python3-virtualenv ATDE$ git clone https://github.com/atmark-techno/armadillo-x2-rtos-demo ATDE$ cd armadillo-x2-rtos-demo ...