Accesso a RaspberryItaly

Ho cercato senza successo una opzione per un datario contenente le seguenti informazioni:

2018 06 06 12:38:54:18

dove il "18" alla fine rappresenta i decimi di secondo

Vorrei utilizzare il Raspberry Pi3, la sua porta HDMI, un vecchio monitor e la porta Ethernet per la connessione alla rete LAN per acquisire l'ora esatta da internet (e se possibile un format). Ad esempio, presso la galleria del sito https://www.clocklink.com/gallery non c'è una opzione con i decimi di secon