5 if ! test -d "${OUTPUT_DIR}" ; then
6 echo "ERROR: no output directory specified."
7 echo "Usage: $0 OUTPUT_DIR"
10 echo " OUTPUT_DIR The OpenADK output directory."
14 .
/host_x86_64-linux-gnu
/usr
/bin
/openocd \
15 -f interface
/stlink.cfg
-f board
/stm32f7discovery.cfg \
20 -c "flash write_image erase ${OUTPUT_DIR}/u-boot-dtb.bin 0x08000000" \