aarch64 dkms requires linux-headers which doesn't make sense on RPi 3,4

[paper42]

trafficstars

When installing dkms on Raspberry Pis with aarch64 architecture, linux-headers gets pulled as a dependency, but rpi-kernel-headers should be used instead. There are a few possible solutions:

1. remove dkms dependency on linux-headers on aarch64 (rejected because vanilla kernel exists for aarch64) https://github.com/void-linux/void-packages/pull/24535
2. when building the rpi3 (and rpi4 in the future) images, add linux-headers to ignorepkg= in /etc/xbps.d. This means users will have to install rpi-kernel-headers manually.

[ericonr]

At the moment, this is explained here: https://docs.voidlinux.org/installation/guides/arm-devices/platforms.html#raspberry-pi , but I agree that it isn't ideal. AFAIK, virtual package semantics don't work too well, so using them isn't a good idea.

[leahneukirchen]

Wouldn't a provides= fix this also? (If it is installed beforehand.)

[paper42]

I will leave the solution to this issue to someone more experienced. I am not comfortable with virtual packages or the provides variable.