| Name | Type | Description | Notes |
|---|---|---|---|
| image_details | str | Must be a valid `image_detail` dict-representation. Example: ```json { "fpga_board": "FMKU60", "shell_type": "Themisto", "version": "0.9.42", "needs_mantle": false, "has_fmc_tcp": true, "comment" : "Some valuable information for humans (optional)" } ``` | |
| dcp_file | str | the STATIC dcp checkpoint to be used by users | |
| bit_file | str | The corresponding static bitfile, to write to the FPGA | |
| mcs_file | str | The corresponding mcs file, to write to the board flash | |
| sig_file | str | The corresponding .sig file of the binfile | |
| pr_verify_rpt | str | Result of the `pr_verify` command |