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.