Add sections about flashing the firmware and moninj

Signed-off-by: Egor Savkin <es@m-labs.hk>

src/SUMMARY.md

@@ -20,3 +20,5 @@
 - [Software/Support](./sw_sup/software_support.md)
   - [Networking](./sw_sup/networking.md)
   - [UART Logs](./sw_sup/uart_logs.md)
+  - [Flashing the Firmware](./sw_sup/flashing_firmware.md)
+  - [Moninj](./sw_sup/moninj.md)

src/sw_sup/flashing_firmware.md

@@ -0,0 +1,18 @@
+# Flashing the Firmware
+
+Here are some extra steps needed for flashing the firmware.
+
+## Kasli
+
+### Windows
+
+From the [official manual](https://m-labs.hk/artiq/manual/installing.html#configuring-openocd):
+
+On Windows, a third-party tool, Zadig, is necessary. Use it as follows:
+1. Make sure the FPGA board’s JTAG USB port is connected to your computer.
+2. Activate Options → List All Devices.
+3. Select the “Digilent Adept USB Device (Interface 0)” or “FTDI Quad-RS232 HS” (or similar) device from the drop-down list.
+4. Select WinUSB from the spinner list.
+5. Click “Install Driver” or “Replace Driver”.
+
+You may need to repeat these steps every time you plug the FPGA board into a port where it has not been plugged into previously on the same system.

src/sw_sup/moninj.md

@@ -0,0 +1,11 @@
+# Moninj
+
+The official documentation lacks the description of MONitor/INJector, but it is a common mistake when running the ARTIQ-7.
+Basically it is a service that consists of two parts - one runs on the host PC, another on the Kasli.
+It allows to watch and control the state of the devices, so you can see it on the dashboard.
+That's why the dashboard may emit errors about not working moninj. To fix this, you just need [to run it with Kasli's IP](https://m-labs.hk/artiq/manual/utilities.html#moninj-proxy):
+
+```shell
+aqctl_moninj_proxy CORE_ADDRESS
+```
+