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