Rholk
Posts: 5
Joined: Tue Aug 23, 2016 2:07 pm

raspberrypi-kernel-headers contains x86 binaries?

Mon Jun 24, 2019 2:35 pm

Hi,

Updating to kernel package 20190620, the built-in utilities in deb file raspberrypi-kernel-headers_1.20190620-1_armhf seems to be fitted for x86_64.


Is it normal? Can't compile any kernel module with this.

jamesh
Raspberry Pi Engineer & Forum Moderator
Raspberry Pi Engineer & Forum Moderator
Posts: 22728
Joined: Sat Jul 30, 2011 7:41 pm

Re: raspberrypi-kernel-headers contains x86 binaries?

Mon Jun 24, 2019 2:45 pm

Being looked in to.

Github issue here https://github.com/raspberrypi/firmware/issues/1155
Principal Software Engineer at Raspberry Pi (Trading) Ltd.
Contrary to popular belief, humorous signatures are allowed. Here's an example...
"My grief counseller just died, luckily, he was so good, I didn't care."

Rholk
Posts: 5
Joined: Tue Aug 23, 2016 2:07 pm

Re: raspberrypi-kernel-headers contains x86 binaries?

Mon Jun 24, 2019 2:49 pm

Thanks for your help. will track this issue on github now :)

Return to “Advanced users”