How to set up sites and devices

• Boards: each board type: what it is, its wiring to the host, and its checks.

• fpgas-verify: checking an FPGA board from its Raspberry Pi: install the check on a host, run it and read the result.

• Packages: the package repository and how a host uses it.