/bsp/hpmicro/hpm6750evkmini/board/debug_scripts/openocd/boards/