PACKAGES: kernel-module-mali-src kernel-module-mali-dbg kernel-module-mali-lic kernel-module-mali-staticdev kernel-module-mali-dev kernel-module-mali-doc kernel-module-mali-locale kernel-module-mali kernel-module-mali-6.18.10-xilinx-g4f7afe14f724
