What will happen if I specify "core_addr" : "10.0.0.51"
in the system description file of a satellite Kasli SoC?
Can satellites be pinged via ethernet and controlled via artiq_coremgmt separately from the master and the other satellites?
(This must be possible, because how would I otherwise configure the master and all satellites with artiq_coremgmt config write -s rtio_clock ext0_bypass_125
if I want to lower phase noise after I have set up Sinara and Artiq fully?)