diff --git a/src/extra/mirny/mirny-0.3.1.zip b/src/extra/mirny/mirny-0.3.1.zip
new file mode 100644
index 0000000..cd625ec
Binary files /dev/null and b/src/extra/mirny/mirny-0.3.1.zip differ
diff --git a/src/hw/mirny_almazny.md b/src/hw/mirny_almazny.md
index a66c16a..471c965 100644
--- a/src/hw/mirny_almazny.md
+++ b/src/hw/mirny_almazny.md
@@ -15,9 +15,15 @@
 }
 ```
 
-## Building firmware
+## Getting the firmware
 
-Once you get your hands on the firmware, you will need to work around few shortcomings of Nix, mainly not being able to run dynamically linked executables.
+Here is [Mirny 0.3.1 firmware](../extra/mirny/mirny-0.3.1.zip). It contains a single ``.jed`` file that can be flashed following [flashing instructions](#flashing).
+
+### Building firmware (optional)
+
+However, if you need to make chances or build from source, follow these instructions.
+
+Once you get your hands on the firmware source code, you will need to work around few shortcomings of Nix, mainly not being able to run dynamically linked executables.
 
 You will need:
 - Xilinx ISE 14.7 installed on your system (this guide is assuming ``/opt/Xilinx`` path),
@@ -53,6 +59,8 @@ python mirny_impl.py
 
 ### Flashing
 
+For flashing, you will need Xilinx ISE 14.7 installed on your system (here assuming ``/opt/Xilinx`` path), and ``xc3sprog`` with the appropriate HS2 JTAG adapter.
+
 ```shell
 nix-shell -p xc3sprog
 xc3sprog -c jtaghs2 -m /opt/Xilinx/14.7/ISE_DS/ISE/xbr/data -v build/mirny.jed
@@ -142,4 +150,4 @@ You should also see differences in various modes, but that may require disabling
 
 ~~Mirnies often fail `ValueError: MUXOUT not high`, in that case restart the tests or reboot the board(s).~~ - fixed in [9569cfb](https://github.com/m-labs/artiq/commit/9569cfb26329c0acdc1705d3256d2506b7bccce5)
 
-For Almazny v1.2+ support, CPLD firmware above 0.3.0 (with fixes) must be flashed onto Mirny.
\ No newline at end of file
+For Almazny v1.2+ support, CPLD firmware 0.3.1+ (with fixes) must be flashed onto Mirny.
\ No newline at end of file