-For the STM version install `gcc-arm-none-eabi` and run `make` in the `./int`
-directory. To flash the binary to the device install (a recent version of)
-`openocd` and run `make flash` in the `./int` directory.
+### How to setup the interpreters
+For the linux version install `gcc` and run `make -C client -f Makefile.linux`.