dtsevas Can I put arbitrary keys, such as "artiq_zynq_commit" : "63157588bb8ed214bc9f24ade2d09b4ddefada03", into the Kasli SoC's system description file? Or will that crash the firmware compilation?
architeuthis Why ask at all when you can just try it and see? Extra keys generally cause the JSON to be rejected by the schema validator. See here.