4 BOARD_NAME
=${2:-stm32f429disc1}
6 if ! test -d "${OUTPUT_DIR}" ; then
7 echo "ERROR: no output directory specified."
8 echo "Usage: $0 OUTPUT_DIR BOARD_NAME"
11 echo " OUTPUT_DIR The OpenADK output directory."
12 echo " BOARD_NAME One of the available boards among:"
13 echo " stm32f429discovery, stm32f429disc1"
17 .
/host_x86_64-linux-gnu
/usr
/bin
/openocd
-f board
/${BOARD_NAME}.cfg \
22 -c "flash write_image erase ${OUTPUT_DIR}/stm32f429i-disco.bin 0x08000000" \
23 -c "flash write_image erase ${OUTPUT_DIR}/stm32f429-disco.dtb 0x08004000" \
24 -c "flash write_image erase ${OUTPUT_DIR}/st-stm32f429-initramfspiggyback-kernel 0x08008000" \