#include <NetworkSetup.h>
The OTCfgTCPDNSServersList preference holds the configured list of name servers.