Time.lan.nurd.space

From NURDspace
Jump to navigation Jump to search
time - THE time-source for NURDSpace
Time.lan.nurd.space pica.png
Participants
Skills ntp, gps, ptp
Status In progress
Niche Time
Purpose Use for infra
Tool Yes
Location bij de bar
Cost
Tool category General

time - THE time-source for NURDSpace

Time.lan.nurd.space pica.png {{#if:Yes | [[Tool Owner::{{{ProjectParticipants}}} | }} {{#if:Yes | [[Tool Cost::{{{Cost}}} | }}


what it is

This is the main time server for NURDSpace. "Connect" using NTP (or SNTP) - most (if not all) operating systems support NTP in some form.

And as we have UNLIMITED (well almost) internet bandwidth, it is also part of https://www.ntppool.org/ (which uses half a megabit?).

pro tip

On ESP32, do not use some vague NTP library: the IDF/Arduino SDK on that platform contains a very capable NTP implementation by itself (google for configTime).

where?

Currently (2026/03/30) it is on a shelf next to the serverrack in the old printer-corner.

Time.lan.nurd.space.png

who?

This thing is managed by folkert & melan.

specs

  • gpsd - GPS: GY-GPSV3-NEO-M8N GNSS-GPS Module
  • ntpsec

networking

  • hostname: time.lan.nurd.space
  • ip-adress: 10.208.0.10

notes

  • the system runs a special 'realtime kernel', please be careful not to replace it when updating raspberryos!
    • special settings:
      • 100 Hz interrupt
      • nohz=off
      • realtime kernel
      • preemptible kernel
  • it (the pi) is also the "emergency"-gateway for when the regular internet connection is not available

monitoring