@martijn I think you missed the main request here. Currently (as far as I have been able to find), there is no way to know see the default ip of the board when dhcp is turned on. The network settings screen only shows a greyed out version of the last set static ip, not the active address assigned by the DHCP server. While you could use the command line to get the mac address, you still need the ip address, which is not shown anywhere on the console in DHCP mode. We run 2 avantis consoles, and our network is also setup with reserved DHCP addresses based on mac addresses. Our network is very robust, so the dhcp wait time is not an issue for us, and it was a massive pain not being able to see the ip while we were setting up the consoles.
