dtsevas changed the title to Switch to Vivado 2024? .

It is already done.

Thanks, I forgot about that.

For anybody else who is looking: https://nixbld.m-labs.hk/jobset/artiq/zynq-beta
-> pick latest build number, no matter if some of the jobs failed
-> Still Succeeding Jobs
-> kasli_soc-master-sd and kasli_soc-satellite-sd
-> check that System: x86_64-linux