OpenOCD supports bit-banging the GPIOs of the Raspberry PI to emulate an SWD flasher. Add a raspi.inc.mk to support that option.