5 if ! test -d "${OUTPUT_DIR}" ; then
6 echo "ERROR: no output directory specified."
7 echo "Usage: $0 OUTPUT_DIR"
11 ${OUTPUT_DIR}/host
/usr
/bin
/openocd
-f board
/stm32f469discovery.cfg \
16 -c "flash write_image erase ${OUTPUT_DIR}/images/stm32f469i-disco.bin 0x08000000" \
17 -c "flash write_image erase ${OUTPUT_DIR}/images/stm32f469-disco.dtb 0x08004000" \
18 -c "flash write_image erase ${OUTPUT_DIR}/images/xipImage 0x08008000" \