Servidores de tiempo (NTP) para España

Si bien hay ciertas recomendaciones de usar pool.ntp.org y sus variantes locales, en mi caso me gusta usar:

Configurar NTP en Windows

Por defecto, windows usa ``time.windows.net``, que si bien funciona puede no ser lo más deseable. Para cambiarlo a los indicados anteriormente:

w32tm /config /manualpeerlist:"ntp.roa.es hora.rediris.es" /syncfromflags:manual /update