Hi Maxx,
Sorry, I had to create the RPI image and prepare the how-to.
- Download the raspberry image: https://cernbox.cern.ch/index.php/s/9F8db2gZjC5D2qW
- Flash it to an SD card (16GB)
- Connect the following pins (https://www.raspberrypi-spy.co.uk/wp-content/uploads/2012/06/Raspberry-Pi-GPIO-Header-with-Photo-702x336.png):
- TCK: Pin 7
- TDI: Pin 12
- TMS: Pin 11
- TDO: Pin 13
- Payload_rst_n: to VCC
- Execute the “flashipmc” command
Best regards,
Julian