Yes, obviously
This very forum and that post contains all the info
Particle Device OS Updates Thread - #22 by BDub
Another way to know if there is a new system firmware is to look in the target drawer in Particle Build (aka Web IDE)
If you select as specific target version (rather than Default (x.y.z)
) then you will see if there is a discrepancy between your current version and the most recent (Default (x.y.z)
)