raspberrypi-kernel-headers on > 6.1.19 kernel

Open
#5,408 16 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
35/100
Issue type
Bug
Clarity
Mostly clear
Activity status
Stale
Tech stack
linux, raspberry-pi
Domain
build-system, operating-systems

Research direction

Start by reviewing the reported kernel architecture change and the linked discussion at raspberrypi/linux#5395. Then locate the packaging entry for armhf kernel headers and determine how 64-bit headers are selected; done means the armhf package supplies the headers needed by systems booting a 64-bit kernel with 32-bit userland.

Written by the indexing model from the issue text.

Description

Describe the bug

From 6.1.19 the default kernel booted is arm64, instead of armf. So many systems have kernel in 64bit and userland in 32bit.

I this scenario, apt will check the userland architecture in order to install packages, that's mismatch the kernel one, installing the wrong headers.

In order to fix this would be better include 64bit headers in armhf package too.

https://github.com/raspberrypi/linux/issues/5395#issuecomment-1486350628

Dominant language
C
Stars
13.2k
Forks
5.5k
Avg merge
2d 21h
Merged PRs (30d)
21

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from raspberrypi/linux

All issues in raspberrypi/linux

Similar issues

More C issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.