The system description file allows one to specify an arbitrary network address via "core_addr" : "192.168.1.70" (numeric value here is the default), see artiq/coredevice/coredevice_generic.schema.json (release 7). Questions:

  1. If I specify an arbitrary "core_addr" in the system description file, use that file to compile boot.bin for the Kasli SoC and place /boot.bin on the microSD card without a /config.txt, will the Kasli SoC respond to pings on the specified "core_addr"?
  2. If I also specify ip=10.0.0.2 in /config.txt on the microSD card, which address will prevail? The "core_addr" from the system description file or the ip-key from /config.txt?
  3. Is ip=10.0.0.2 the correct syntax in /config.txt? Or does it rather have to be "ip"="10.0.0.2"?
  1. Yes. I believe core_addr sets the firmware default IP.
  2. Yes. Config keys override the firmware default, they wouldn't be of much use if they didn't.
  3. Try it and see. IIRC ip=10.0.0.2 is fine.