Jeff Epler a7a1bd7880 Implement DNS resolution ... ``` >>> s = socketpool.SocketPool(wifi.radio) >>> s.getaddrinfo("google.com", 80) [(0, 0, 0, '', ('142.250.81.206', 80))] ```		2022-09-28 10:06:33 -05:00
..
arch	Implement scan, connect, ping	2022-09-28 10:06:33 -05:00
lwipopts.h	Implement DNS resolution	2022-09-28 10:06:33 -05:00