Kasli on DHCP

guscafe

Hi all,

My university is migrating to DHCP protocols. This means we have to migrate all devices. I noticed that in the Artiq documentation, there is one mention to setting the ip config key to use_dhcp. It's unclear to me how to set this. If I do

$ artiq_mkfs flash_storage.img -s ip use_dhcp -s ipv4_default_route my_current_ip 
$ artiq_flash -f flash_storage.img storage start

then the board just falls back to the factory default ip (the one starting with "192..."). This also happens if I try via

$ artiq_coremgmt [-D old_IP] config write -s ip use_dhcp

I was expecting for it to be a key such as use_dhcp =true, or something of the sort.
How do I specify I want to change the ethernet protocol to communicate with the board?

Thank you in advance to the kind soul that answers me 🙂

sb10q

Which ARTIQ version are you running? DHCP is a relatively new feature.

guscafe

Hi Seb. For this board specifically I was using artiq 7, as is for most of our crates. On Which version has this been added?

fsagbuya

guscafe DHCP support was added in ARTIQ-8.

QIL

Hi, I also wanted to jump in on this as we are undergoing the same migration. We are running ARTIQ-8 on a KASLI-SOC. When setting the ip address to use_dhcp via artiq_coremgmt it goes to the default ip, but does appear set correctly in the SD card config. Also when following the process outlined in the documentation, the artiq_coremgmt reboot does not seem to work and shows up as an unrecognized packet in the log.

It is not entirely clear from the documentation whether the KASLI-SoC is able to be set to dhcp, or only the KASLI.

Any further clarification or advice would be greatly appreciated.

srenblad

QIL

DHCP is not yet supported on Kasli-SoC and other boards running artiq-zynq firmware. I have created an issue where this can be discussed.