We also have further information for you:
https://www.tuxedocomputers.com/en/TUXEDO-OS-without-version-numbers.tuxedo