The release notes for example to date 2019-07-10 shows
* Linux kernel 4.19.57
* Raspberry Pi firmware cb3a32adf39f45a49be454e30c7464920ad7c605
After an update I can verify the current kernel version with uname -r
. At How can I determine the current firmware version number? I have found how to get the current firmware version:
rpi ~$ sudo /opt/vc/bin/vcgencmd version
Jul 9 2019 14:37:58
Copyright (c) 2012 Broadcom
version d2b1b7fb01475cb3914b2086299e32d724e832f1 (clean) (release) (start)
But as you can see it does not match the release note.
How can I verify the Raspberry Pi firmware version from the release notes?
vcgencmd
refers to the VideoCore component of Raspberry Pi, but are there other components with firmware? That seems likely (to me), and the Wikipedia article on the VideoCore technology is an interesting read for RPi watchers. You can follow this Q on github if interested.