search

RPi-Distro / pi-gen

Tool used to create the official Raspberry Pi OS images
BSD 3-Clause "New" or "Revised" License
2.58k stars 1.61k forks source link

linux-perf package is 5.10 from Debian, but Raspberry Pi kernel is 5.15. #662

Closed JinShil closed 2 months ago

JinShil commented 1 year ago

Forgive me if this is not the right place to report this, but there is a version mismatch that prevents installing linux-perf for the current release of the Raspberry Pi OS.

The Raspberry Pi OS is on kernel version 5.15, but Debian is on kernel version 5.10. Therefore, when one tries to run sudo apt install linux-perf it installs linux-perf-5.10. Then when running perf it fails with /usr/bin/perf: line 13: exec: perf_5.15: not found.

Please consider adding a linux-perf package that matches the Raspberry Pi kernel version to the Raspberry Pi repository.

XECDesign commented 1 year ago

This will be part of the work of migrating away from the raspberrypi-firmware package to upstream debian ones where possible. Aiming to have that done for the Bookworm release.

JinShil commented 2 months ago

This appears to have been resolved.