Raspberrypi-kernel-headers?

Still trying to get dahdi_dummy installed on a raspberry pi. The procedure results in the error:
’ You do not appear to have the sources for the 4.9.80-v7+ kernel installed.
So there is a sources problem. Educating myself, I find I need to update my kernel headers.
All documentation says to use: sudo apt install raspberrypi-kernel-headers. When I try, all I get is:
Unable to locate package raspberrypi-kernel-headers. ( and YES, I did do apt-get update ).

Can someone point me to information on how to resolve this?

1 Like

https://github.com/raspberrypi/firmware/releases/tag/1.20180313

this should contain the source for your kernel.

But I cant confirm how to install them. It is not a package.

Maybe someone with more knowledge then me will be able to help you.

Le ven. 17 avr. 2020 à 10:46, lengriff@optimum.net via AllStarLink Discussion Groups noreply@community.allstarlink.org a écrit :

···


lengriff

    April 17

Still trying to get dahdi_dummy installed on a raspberry pi. The procedure results in the error:

’ You do not appear to have the sources for the 4.9.80-v7+ kernel installed.

So there is a sources problem. Educating myself, I find I need to update my kernel headers.

All documentation says to use: sudo apt install raspberrypi-kernel-headers. When I try, all I get is:

Unable to locate package raspberrypi-kernel-headers. ( and YES, I did do apt-get update ).

Can someone point me to information on how to resolve this?


Visit Topic or reply to this email to respond.

You are receiving this because you enabled mailing list mode.

To unsubscribe from these emails, click here.

1 Like

https://github.com/raspberrypi/firmware/tree/b1a7f4aea6cbd380319c2849ecc5988f9a4dba70
this is the link to download the master at that revision

Le ven. 17 avr. 2020 à 15:22, Pierre Martel petem001@gmail.com a écrit :

···

https://github.com/raspberrypi/firmware/releases/tag/1.20180313

this should contain the source for your kernel.

But I cant confirm how to install them. It is not a package.

Maybe someone with more knowledge then me will be able to help you.

Le ven. 17 avr. 2020 à 10:46, lengriff@optimum.net via AllStarLink Discussion Groups noreply@community.allstarlink.org a écrit :


lengriff

    April 17

Still trying to get dahdi_dummy installed on a raspberry pi. The procedure results in the error:

’ You do not appear to have the sources for the 4.9.80-v7+ kernel installed.

So there is a sources problem. Educating myself, I find I need to update my kernel headers.

All documentation says to use: sudo apt install raspberrypi-kernel-headers. When I try, all I get is:

Unable to locate package raspberrypi-kernel-headers. ( and YES, I did do apt-get update ).

Can someone point me to information on how to resolve this?


Visit Topic or reply to this email to respond.

You are receiving this because you enabled mailing list mode.

To unsubscribe from these emails, click here.

1 Like