+<p>You can download the <a href='http://mj.ucw.cz/download/minsk/'>source code of the emulator</a>.
+
+<h2>Build</h2>
+
+<p>The emulator has been developed on Linux with GCC and it should build and run on all POSIX systems,
+possibly requiring trivial modifications.
+
+<p>On a system with the GNU toolchain installed, the emulator can be built by running the following
+command:
+<pre>
+$ make
+</pre>
+
+<h2><a id="use">Use</a></h2>
+
+<p>The emulator reads its input from stdin. Loading and executing the ex-hello example program
+would therefore be done like this:
+<pre>
+$ ./minsk < ex-hello
+</pre>