/bsp/hpmicro/hpm6750evk2/board/debug_scripts/openocd/