59 lines
1.2 KiB
Bash
Executable File
59 lines
1.2 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -e
|
|
|
|
if [ -z "$OPENOCD_ZYNQ" ]; then
|
|
echo "OPENOCD_ZYNQ environment variable must be set"
|
|
exit 1
|
|
fi
|
|
if [ -z "$SZL" ]; then
|
|
echo "SZL environment variable must be set"
|
|
exit 1
|
|
fi
|
|
|
|
impure=0
|
|
load_bitstream=1
|
|
board_type="kasli_soc"
|
|
|
|
while getopts "ilb:t:" opt; do
|
|
case "$opt" in
|
|
\?) exit 1
|
|
;;
|
|
i) impure=1
|
|
;;
|
|
l) load_bitstream=0
|
|
;;
|
|
b) board_host=$OPTARG
|
|
;;
|
|
t) board_type=$OPTARG
|
|
;;
|
|
esac
|
|
done
|
|
|
|
if [ -z "$board_host" ]; then
|
|
case $board_type in
|
|
kasli_soc) board_host="192.168.1.56";;
|
|
zc706) board_host="192.168.1.52";;
|
|
*) echo "Unknown board type"; exit 1;;
|
|
esac
|
|
fi
|
|
|
|
load_bitstream_cmd=""
|
|
|
|
build_dir=`pwd`/build
|
|
result_dir=`pwd`/result
|
|
cd $OPENOCD_ZYNQ
|
|
openocd -f $board_type.cfg -c "load_image $SZL/szl-$board_type.elf; resume 0; exit"
|
|
sleep 5
|
|
if [ $impure -eq 1 ]; then
|
|
if [ $load_bitstream -eq 1 ]; then
|
|
load_bitstream_cmd="-g $build_dir/gateware/top.bit"
|
|
fi
|
|
artiq_netboot $load_bitstream_cmd -f $build_dir/runtime.bin -b $board_host
|
|
else
|
|
if [ $load_bitstream -eq 1 ]; then
|
|
load_bitstream_cmd="-g $result_dir/top.bit"
|
|
fi
|
|
artiq_netboot $load_bitstream_cmd -f $result_dir/runtime.bin -b $board_host
|
|
fi
|