search

void-linux / void-packages

The Void source packages collection
https://voidlinux.org
Other
2.5k stars 2.11k forks source link

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

Open paper42 opened 4 years ago

paper42 commented 4 years ago

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 commented 4 years ago

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 commented 4 years ago

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

paper42 commented 4 years ago

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

github-actions[bot] commented 1 year ago

Issues become stale 90 days after last activity and are closed 14 days after that. If this issue is still relevant bump it or assign it.

classabbyamp commented 1 year ago

i've started at a solution in #43519 but i'd like someone else to confirm my solution