How to install the Arty A7 packages

You have an Arty A7 on its Raspberry Pi and want to install its fpgas.online packages and run the check.

What you need

• a Raspberry Pi with the Arty on one of its USB ports

• the fpgas.online apt repository added on the Pi (fpgas-verify: installing it, step 1)

• on bookworm: the fpgas.online-fpga-tools apt repository added too (fpgas-verify: installing it, step 2). Debian bookworm’s openFPGALoader is too old for the check

grep VERSION_CODENAME /etc/os-release says which release the Pi runs.

Steps

1. Install the Arty’s packages. This also turns the check at boot on (fpgas-verify.service).

sudo apt install fpgas-online-arty

2. Check the board. Nothing is sent to the site: --no-publish makes sure.

sudo fpgas-arty-verify --no-publish

Check

The first line of the output starts with fpgas-verify: pass. The board’s line (two spaces in, the board’s name first) ends in pass. So does the line of each test that ran (four spaces in, the test’s name first).

If it fails

• The first line names the result, and the output ends with RESULT: and What to do:. fpgas-verify: reading the result says what each result means.

• fpgas-verify: common failures lists the messages and what to do about each.

Next

• To run one test with its output live: install fpgas-online-arty-debug, then sudo fpgas-arty-debug test ddr.

• The Arty A7 check at boot: what the check does, test by test.

• Arty A7 packages: what each package installs.

• fpgas-verify: reading the result: the report, changed and --update.