Building firmware with gcc

Just found some other cheap JTAG adapters (not tested by me) which should work fine with openocd: