The migration from Microsoft Windows was made in May 2013 for reasons of reliability, stability and flexibility.
Na počítačoch pre kľúčové funkcie stanice sa od mája 2013, kedy prebehla migrácia z MS Windows, používa linuxová distribúcia Debian, hlavne kvôli spoľahlivosti, stabilite a flexibilite.