Subset of files from https://gnutoolchains.com/arm-eabi/openocd/