netctl problem

Hello all, Yesterday I assisted (via a text chat) a linux noob to install Archlinux on a laptop. We got so far that the system can boot on its own, and we can login as root. The netctl package is installed. Also the ethernet-dhcp example is copied to /etc/netctl/dhcp and edited for the correct interface (enp0s25). netctl start dhcp runs without reporting any errors, but then ping 8.8.8.8 says 'network unreachable', and ip link shows that enp0s25 is not UP. The network was OK with the ISO of course. I could probably find out what is wrong if I had my hands on the keyboard, but doing it remotely seems more difficult... So what *could* be the problem or missing ? TIA, -- FA