[magicalhippo]

I got a local NTP server and I want to assign it to my network clients. AFAIK the only way is via DHCPv6.

[josephcsible]

Too bad that this never seems to have gone anywhere: https://datatracker.ietf.org/doc/html/draft-bcd-6man-ntp-ser...

Also, does Android even use NTP servers that are advertised over IPv4 DHCP? I don't think so, and if not, then is this really a reason?

[Avamander]

Most clients ignore that anyways. Like literally only a few Linux distributions add local DHCP ones to their server list.

In 99.99% of the cases you have to intercept or reconfigure.