aggiunti file config per openocd