Ich würde vermuten, dass der Hersteller bei der Auslieferung das aktuelle Betriebssystem verwendet. D.h. es wird vermutlich einigermassen aktuell sein.

Und man kann die Version jederzeit aktualisieren, dies wird auch empfohlen durch Texas Instruments:
https://education.ti.com/de...