#!/bin/bash

board=$1
where=$(dirname "$0")
shift

trap "rm /tmp/runocd.cfg" EXIT

cat > /tmp/runocd.cfg <<EOF
init
reset halt
arm semihosting enable
arm semihosting_cmdline $*
resume
EOF

sudo openocd -d0 -s /usr/local/share/openocd -f scripts/board/$board.cfg -f /tmp/runocd.cfg