New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/issues/30205#issuecomment-819472718 Comment: There isn't, no. `armv6l` maybe shows its age in a lot of places, but it's also a valuable target due to the RPi Zero. `armv7l` is still sufficiently modern and people may need 32-bit on aarch64 devices that support it. The issue with `armv*` kernels is that very few platforms actually work with the generic kernel, so it isn't of much value to provide one, even. If you're interested in using those platforms with Void and they work with a modern generic kernel, you can probably base the config off of `linux5.4` (which has `arm-dotconfig`) and we'll merge it in and keep it up to date with kernel updates; but I'm not going to add this support to `linux5.11` myself, my rpi uses `rpi-kernel` just fine. All that said, it should be perfectly possible to install `linux5.4` directly and use that, though it is admittedly more fiddly than just using the `linux` package directly.