Alternatively you could use a programmer that doesn’t require any software and just exposes a GDB server over a tty: https://1bitsquared.com/products/black-magic-probe