Manual says ARTIQ 7 support Kasli_SOC, but I can't find a way to flashing Kasli_SOC.
There is only gateware/firmware for Kasli.
Could anyone tell me how can i find gateware/firmware for Kasl_SOC ?

Where did you purchase Kasli-SoC?

Interesting, how did it go? Can you share pictures of your boards? How did you assemble the SFP connectors?
The Kasli-SoC support code is here: https://git.m-labs.hk/M-Labs/artiq-zynq (Will be merged into the main ARTIQ repos later).

6 days later


Here is pic of the board made.
I ground out unmatched pin, then mount SFP connector

Cuz I've never used nix before, I'm struggling to flash the board
If someone can give me any advice, it would really helpful

    sum_s I ground out unmatched pin, then mount SFP connector

    The SFP connector is designed for press-fit assembly and need a lot of force (around 2000N) to insert it. Grinding pins isn't a good idea.
    You can use a vice and this 3d-printed adapter: https://git.m-labs.hk/sinara-hw/kasli-soc-pressfit

    I see you're using grey-market Zynqs because these days Xilinx are apparently too busy organizing hackathons to ship products to their customers. Have you been able to confirm the speed grade in any way?

    Cuz I've never used nix before, I'm struggling to flash the board

    Did you follow the instructions in the repository and where are you stuck?

      Instructions are about using SD storage, but there is also nix pakage for jtag.
      So I tried to program device by jtag, refer to manual's way
      As I think its the better way I can learn and understand about system.

      About something else
      after flash the board,
      Should I use artiq-fast channel and use shell script in repository?
      Or should I use artiq-full channel ande shell script in manual?

        sum_s Should I use artiq-fast channel and use shell script in repository?
        Or should I use artiq-full channel ande shell script in manual?

        The latest version uses nix flakes so this is no longer relevant. For JTAG you can essentially do:

        nix build .#kasli_soc-demo-jtag
nix develop
./local_run.sh

        Note that the payload is delivered over Ethernet (only the SZL bootloader is programmed via JTAG) and so you will need a working network connection.

          Also the Zynq JTAG is buggy (probably silicon bug or insane silicon design) so you should run kasli_soc_por.py between reprograms. Otherwise you will experience erratic behavior from the ARM cores e.g. data abort exceptions at completely unexpected times in the middle of some software running.