How do I get gateware/firmware for Kasli_SOC?

sum_s

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 ?

sb10q

Where did you purchase Kasli-SoC?

sum_s

I made it byself using opensources in github : https://github.com/sinara-hw/Kasli-SOC

sb10q

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).

sum_s

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

sb10q

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?

sum_s

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?

sb10q

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.

sb10q

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.