genode/repos/os/xsd
Alice Domage 6402182815 sntp_client: add DNS lookup option
This commit adds a new configuration option, `dst_addr` to the
'sntp_client' that accepts either an IP address or a DNS hostname. If a
DNS hostname is provided, the 'sntp_client' will resolve the IP address
before each SNTP request. The 'dst_ip' configuration option is
deprecated but kept for compatibility until 'dst_addr' is fully adopted.

xsd/net_types.xsd: add Net_address type
sntp_dummy_rtc: adjust configuration to use pool.ntp.org

Fixes genodelabs/genode#5003
2023-11-28 14:24:23 +01:00
..
net_types.xsd sntp_client: add DNS lookup option 2023-11-28 14:24:23 +01:00
timeout_types.xsd timeout_types.xsd: Minutes type 2019-08-21 12:37:02 +02:00