antaeus
Posts: 3
Joined: Mon Dec 09, 2019 6:55 am

Kernel headers for kernel 4.*.*-v8+ cannot be found

Sat Feb 15, 2020 11:53 am

Hi all,

are the v8+ kernel headers missing for everyone or is there something wrong with my raspbian installation on my Pi 4?

Cheers!

fruitoftheloom
Posts: 21667
Joined: Tue Mar 25, 2014 12:40 pm
Location: Delightful Dorset

Re: Kernel headers for kernel 4.*.*-v8+ cannot be found

Sat Feb 15, 2020 12:17 pm

antaeus wrote:
Sat Feb 15, 2020 11:53 am
Hi all,

are the v8+ kernel headers missing for everyone or is there something wrong with my raspbian installation on my Pi 4?

Cheers!

https://www.raspberrypi.org/documentation/linux/kernel/
Retired disgracefully.....
......to a more gentile life !

User avatar
DougieLawson
Posts: 37127
Joined: Sun Jun 16, 2013 11:19 pm
Location: Basingstoke, UK
Contact: Website Twitter

Re: Kernel headers for kernel 4.*.*-v8+ cannot be found

Sat Feb 15, 2020 9:04 pm

antaeus wrote:
Sat Feb 15, 2020 11:53 am
Hi all,

are the v8+ kernel headers missing for everyone or is there something wrong with my raspbian installation on my Pi 4?

Cheers!
The V8 kernel is built from the same source/same headers at the 4.*.*+ kernel. It's only the kernel configuration that differs.

Use rpi-source to get the stuff you need. https://github.com/notro/rpi-source
Note: Having anything humorous in your signature is completely banned on this forum. Wear a tin-foil hat and you'll get a ban.

Any DMs sent on Twitter will be answered next month.

This is a doctor free zone.

Return to “Raspbian”