The file was contributed by Sébastien Lorquet. Change-Id: I118f5b16181488b9e3327891e6130b908419f1c4 Signed-off-by: Freddie Chopin <freddie.chopin@gmail.com> Reviewed-on: http://openocd.zylin.com/3214 Tested-by: jenkins Reviewed-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>