1. Set up SD card. Either download image with openocd from this page (todo: add link), or download a vanilla raspian os from https://www.raspberrypi.org/downloads/raspbian/ This will involve building OpenOCD yourself. To fit on a 4GB sd card, get the lite version.