Time.lan.nurd.space: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
m (→what it is) |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Project | {{Project | ||
|Name=time - THE time-source for NURDSpace | |Name=time - THE time-source for NURDSpace | ||
|Skills=ntp, gps | |Skills=ntp, gps, ptp | ||
|Status=In progress | |Status=In progress | ||
|Niche=Time | |Niche=Time | ||
|Purpose=Use for infra | |Purpose=Use for infra | ||
|Tool= | |Picture=Time.lan.nurd.space pica.png | ||
|Tool=Yes | |||
|Location=bij de bar | |Location=bij de bar | ||
|Category=General | |Category=General | ||
}} | }} | ||
== what is | == 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 | 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 [https://randomnerdtutorials.com/esp32-ntp-timezones-daylight-saving/ configTime]). | |||
== where? == | == where? == | ||
| Line 20: | Line 26: | ||
[[File:Time.lan.nurd.space.png|640px]] | [[File:Time.lan.nurd.space.png|640px]] | ||
== who? == | |||
This thing is managed by [[folkert]] & [[melan]]. | |||
== specs == | == specs == | ||
| Line 39: | Line 49: | ||
*** realtime kernel | *** realtime kernel | ||
*** preemptible kernel | *** preemptible kernel | ||
* it (the pi) is also the "emergency"-gateway for when the regular internet connection is not available | |||
== monitoring == | == monitoring == | ||
Latest revision as of 18:57, 30 March 2026
| time - THE time-source for NURDSpace | |
|---|---|
| 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.
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
- special settings:
- it (the pi) is also the "emergency"-gateway for when the regular internet connection is not available
monitoring
- as it is part of the global NTP-pool, statistics can be viewed at https://www.ntppool.org/scores/185.2.240.92
- also folkert has a monitoring server: https://gateway.vanheusden.com/ntp/show-server?host=space.nurdspace.nl