/bsp/hpmicro/hpm6750evk/board/debug_scripts/openocd/