Page 1 of 1

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

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

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

Cheers!

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

Posted: Sat Feb 15, 2020 12:17 pm
by fruitoftheloom
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/

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

Posted: Sat Feb 15, 2020 9:04 pm
by DougieLawson
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