Hi,
I can acknowledge the Problem because
./tool/ports/check_port_source dde_linux VERBOSE= ... curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1 || (sleep 1; curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1)
does not finish. I'd give infradead some time as this may be a temporary issue. If it persists we'll fix it. For the meantime I uploaded the file to
https://genode.org/files/libnl-3.2.25.tar.gz
Greets