Raspberry Pi OS gets a new kernel but apparently not a new version number

The distro formerly known as Raspbian has received some modest tweaks – and a whole new kernel version. Raspberry Pi Ltd is a little capricious when it comes to version numbering for Raspberry Pi OS, and although this release contains a fairly significant change, it doesn't seem to have a different version number. While PiOS is based on Debian 13 "Trixie," the company significantly customizes upstream Debian, including newer kernels. For 13 years now, Raspberry Pi has been adding new secti