/cc @n-eiling @iripiri
See:
@n-eiling Could you provide the required command for flashing a bitstream to the FPGA?
Is there maybe also a way to retrieve the status of the FPGA via XSDB? Those commands would also be useful, so we can display the FPGA status as well.