Those ; are a little bit dangerous
openocd config file added