Kernel version mismatch

Open
#5,307 3 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
25/100
Issue type
Bug
Clarity
Needs clarification
Activity status
Stale
Tech stack
linux, raspberry-pi

Research direction

Start with the Raspberry Pi Linux kernel build documentation and the reproduction commands in the issue, using the bcmrpi_defconfig and zImage/modules/dtbs targets for the Raspberry Pi 1 B+. Compare the resulting kernel version with the reported 5.15.76+ system; done means the version mismatch is explained and the supported build or update path is identified.

Written by the indexing model from the issue text.

Description

Describe the bug

My Raspberry Pi 1 B+, after apt update/full-upgrade, is still 5.15.76+, while the official sources are now 5.15.84+.
I downloaded and bult according to the documentation in https://www.raspberrypi.com/documentation/computers/linux_kernel.html.

Steps to reproduce the behaviour

git clone --depth=1 https://github.com/raspberrypi/linux

cd linux
KERNEL=kernel
make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- bcmrpi_defconfig

make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- zImage modules dtbs

Device (s)

Raspberry Pi 1 Mod. B+

System

Raspberry Pi reference 2022-09-22
Generated using pi-gen, https://github.com/RPi-Distro/pi-gen, 8a42abcd1dbd8c9c1fdfca4e0c3778255b2f9cc4, stage2

Oct 26 2022 11:10:35
Copyright (c) 2012 Broadcom
version c72ad6b26ff40c91ef776b847436094ee63fabee (clean) (release) (start)

Linux raspberrypi 5.15.76+ #1597 Fri Nov 4 12:11:43 GMT 2022 armv6l GNU/Linux

Logs

No response

Additional context

No response

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.