PACKAGES: kernel-module-rpmsg-user-lic kernel-module-rpmsg-user-dbg kernel-module-rpmsg-user-staticdev kernel-module-rpmsg-user-dev kernel-module-rpmsg-user-doc kernel-module-rpmsg-user-locale kernel-module-rpmsg-user kernel-module-rpmsg-user-dev-driver-4.14.0-xilinx-v2018.3
