PACKAGES: linux-dummy-src linux-dummy-dbg linux-dummy-staticdev linux-dummy-dev linux-dummy-doc linux-dummy-locale linux-dummy kernel-modules kernel-vmlinux kernel-devicetree kernel-image-bzimage
