Flashing the Kasli board

flo

We are struggling since a long time to get started with our sinara system.
Until now we were only using basic scripts via the conda environment on Windows.
But we also want to use the device with linux.
Under nix the sinara module is not responding, probably caused by a missmatch of the software versions on the FPGA and the PC.
So when running the flash command in conda (windows) I get the following error message:

In fact there is no directory /artiq/lib

So I assumed there might be some conda package related to the board missing.
But unfortunately I was unable to install it. In the manual the only note is: '

If you do not need to flash boards, the artiq package is sufficient. The packages named artiq-board-* contain only firmware for the FPGA board, and you should not install them unless you are reflashing an FPGA board.

I am not sure how the correct package is called or how to install it properly!

I also tried to flash it with a Linux machine but,
when using the nix environment openocd seems not to get installed correctly, since running which openocd in the nix-shell returns nothing which seems to be de default behavior in debian if it doesn't find any. Is it possible to install it manually somehow?

I am really puzzled and kinda stuck here!

Does somebody knows how to solve this problem?

airwoodix

For Nix, you probably forgot to un-comment the line artiq-full.openocd in the example Nix shell.

The following should work (didn't test on hardware though):

with import <nixpkgs> {};

let
  artiq-full = import <artiq-full> { inherit pkgs; };
in
mkShell {
  buildInputs = [
    (python3.withPackages(ps:
      (with artiq-full;
        [
          artiq
          artiq-board-kasli-innsbruck3
          # more ARTIQ Python3 packages here (e.g. migen, dax,...)
        ]) ++
      (with ps;
        [
          ipython
          # more regular Python3 packages here (e.g. numpy, pandas,...)
        ])
    ))

    (with artiq-full;
      [
        openocd
        # more non-Python ARTIQ tooling here
      ]
    )
    # more generic packages here (e.g. gtkwave)
  ];
}

flo

airwoodix

Cool thank you so much!!!
This works perfectly!!!

The only thing I do not understand is the difference between your script and the script in the manual ( https://m-labs.hk/artiq/manual-beta/installing.html ) ?
In the latter one I added

artiq-full.openocd
artiq-full.artiq-board-kasli-innsbruck3

But for some reason openocd was not found or not correctly installed!

airwoodix

My best guess would be that you added artiq-full.openocd inside the python3.withPackages call. Since openocd is no Python3 package, this won't do what you want.

The differences between the script above and the one in the manual are only cosmetic. For such simple scripts, I find it convenient to use with statements (docs) to avoid repeating pkgs, artiq-full, etc.