Shout out also to the NTP Pool, a volunteer group of NTP servers that is the common choice for a lot of devices. Particularly open source stuff. Microsoft, Apple, and Google all run their own time servers but the NTP Pool is a great resource for almost everything else. https://www.ntppool.org/en/