I would assume that the manufacturer uses the current operating system at the time of delivery. I.e. it will probably be reasonably up-to-date.

And you can update the version at any time, which is also recommended by Texas Instruments:
https://education.ti.com/de...