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: 22091
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 an uncomplicated life !

Rather than negativity think outside the box !

User avatar
DougieLawson
Posts: 37763
Joined: Sun Jun 16, 2013 11:19 pm
Location: A small cave in deepest darkest 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: Any requirement to use a crystal ball or mind reading will result in me ignoring your question.

Any DMs sent on Twitter will be answered next month.
All non-medical doctors are on my foes list.

Return to “Raspbian”