New comment by Cooky-12 on void-packages repository https://github.com/void-linux/void-packages/issues/32806#issuecomment-912517401 Comment: > The generic kernels are basically unused, most platforms have their own kernel builds. Someone with a device that works with the generic arm kernel can update the configuration, but so far nobody cared enough or the hardware simply does not exist. Some arm board don't have official kernel ( e.g. orangepi ... ), I simplely install archlinux rootfs ( with latest kernel ) and edit uboot script to load corresponding dtb to boot. Thanks, I will compile kernel myself.