Creating a bug report/issue
[yes] I have searched the existing open and closed issues
Required Information
-
DietPi version |
cat /boot/dietpi/.version
-
G_DIETPI_VERSION_CORE=9
G_DIETPI_VERSION_SUB=11
G_DIETPI_VERSION_RC=2
G_GITBRANCH=‘master’
G_GITOWNER=‘MichaIng’ -
Distro version |
echo $G_DISTRO_NAME $G_RASPBIAN
bookworm 0 -
Kernel version |
uname --all
Linux music-compiler 6.12.20+rpt-rpi-v8 #1 SMP PREEMPT Debian 1:6.12.20-1+rpt1~bpo12+1 (2025-03-19) aarch64 GNU/Linux -
Architecture |
dpkg --print-architecture
arm64 -
SBC model |
echo $G_HW_MODEL_NAME
or (EG: RPi3)
RPi 4 Model B (aarch64) -
Power supply used | (EG: 5V 1A RAVpower)
DeskPi 12V power supply (case has 5V regulator) -
SD card used | (EG: SanDisk ultra)
Samsung Evo
Additional Information (if applicable)
- Software title | (EG: Nextcloud)
- Was the software title installed freshly or updated/migrated?
- Can this issue be replicated on a fresh installation of DietPi?
← If you sent a “dietpi-bugreport”, please paste the ID here → - Bug report ID |
echo $G_HW_UUID
Steps to reproduce
- Install package raspberrypi-kernel-headers
- Update DietPi to 9.11
- Update kernel to 6.12.20 through apt upgrade
- After following above steps kernel will be 6.12.20, but /usr/src/ will contain kernel headers for 6.1.21 still and won’t have updated to the version corresponding to the new kernel
Expected behaviour
Kernel headers package should be tracking the distribution kernel version
Actual behaviour
Kernel headers package is remaining on version for old kernel