maunal: update firmware filenaming
In Change-Id I319edb76dd74be6904395692ab1599fb8f1f9065 we had
changed the file naming of the firmware binaries from the somewhat
general fw_app*.bin format to icE1usb-fw*.bin, but the manual
was not updated accordingly.
Change-Id: I0cc2cd3f3f8f166b9409463fbd4b01e344cfe399
diff --git a/doc/manuals/chapters/firmware.adoc b/doc/manuals/chapters/firmware.adoc
index 5802cca..12c5710 100644
--- a/doc/manuals/chapters/firmware.adoc
+++ b/doc/manuals/chapters/firmware.adoc
@@ -54,7 +54,7 @@
==== Upgrading the FPGA gateware
-Gateware files are called `icE1usb-*.bin`.
+Gateware files are called `icE1usb-*.bin`. (without 'fw' in the name)
The gateware can be upgraded by accessing the DFU _altsetting 0_ using `dfu-util` *`-a 0`*
@@ -67,7 +67,7 @@
==== Upgrading the picoRISCV firmware
-Firmware files are called `fw_app*.bin`.
+Firmware files are called `icE1usb-fw*.bin`.
The firmware can be upgraded by accessing the DFU _altsetting 1_ using `dfu-util` *`-a 1`*