[ISSUE] Kernel headers incompatible with the raspberry pi kernel (rpi-kernel)

[ISSUE] Kernel headers incompatible with the raspberry pi kernel (rpi-kernel)

[voidlinux-github]

[-- Attachment #1: Type: text/plain, Size: 768 bytes --]

New issue by nightmared on void-packages repository

https://github.com/void-linux/void-packages/issues/16279

Description:
### System

* xuname:  
  Void 4.19.81_1 armv7l  uptodate rFF
* package:  
  linux-headers-5.3_1 in conjunction with rpi-kernel-4.19.81_1

### Expected behavior

The kernel-headers package provides a version of the kernel headers that maps to the kernel. Or more reasonably (as there can be other platforms depending on the armv7l repo), there is a rpi-kernel-headers that match the version of the rpi-kernel package.

### Actual behavior

Building packages with dkms should work.

### Steps to reproduce the behavior

Install void on a rpi2, install wireguard, see it compile a dkms module for a kernel that is not available.

Re: Kernel headers incompatible with the raspberry pi kernel (rpi-kernel)

[voidlinux-github]

[-- Attachment #1: Type: text/plain, Size: 226 bytes --]

New comment by nightmared on void-packages repository

https://github.com/void-linux/void-packages/issues/16279#issuecomment-552141115

Comment:
oh nevermind, I saw rpi-kernel-headers-4.19.81_1, sorry for wasting your time :(

Re: [ISSUE] [CLOSED] Kernel headers incompatible with the raspberry pi kernel (rpi-kernel)

[voidlinux-github]

[-- Attachment #1: Type: text/plain, Size: 771 bytes --]

Closed issue by nightmared on void-packages repository

https://github.com/void-linux/void-packages/issues/16279

Description:
### System

* xuname:  
  Void 4.19.81_1 armv7l  uptodate rFF
* package:  
  linux-headers-5.3_1 in conjunction with rpi-kernel-4.19.81_1

### Expected behavior

The kernel-headers package provides a version of the kernel headers that maps to the kernel. Or more reasonably (as there can be other platforms depending on the armv7l repo), there is a rpi-kernel-headers that match the version of the rpi-kernel package.

### Actual behavior

Building packages with dkms should work.

### Steps to reproduce the behavior

Install void on a rpi2, install wireguard, see it compile a dkms module for a kernel that is not available.

Re: Kernel headers incompatible with the raspberry pi kernel (rpi-kernel)

[voidlinux-github]

[-- Attachment #1: Type: text/plain, Size: 292 bytes --]

New comment by nightmared on void-packages repository

https://github.com/void-linux/void-packages/issues/16279#issuecomment-552141242

Comment:
FIY, I was doing xbps-query -s instead of xbps-query -Rs (I haven't used xbps is quite some time now and I definitely did forget some commands ;()