Got one of the two boards up and running, except for DNS. It has a wired connection and it gets the correct DNS configuration (8.8.8.8, 8.8.4.4) . A ping with an IP address is ok, but not with a hostname. After some searching this seems to be an issue in Ubuntu, which has been solved, but needs an update. Yes, a true catch-22. You can't update Ubuntu if your DNS isn't working, and you can't get DNS working without an update. In order to solve this I added the IP addresses that sudo apt-get update showed it could not resolve. In my case it was security.ubuntu.com and nl.archive.ubuntu.com. On a different machine I looked up their IP-addresses and added them into /etc/hosts. After that I performed the several upgrade tasks (apt-get, Ubuntu Software,...) and after a reboot the problem seems to be resolved. [Edit: Note that this is a Ubuntu problem, not a UDOO problem]
