1#!/bin/bash 2 3# Author: Xianjun Jiao 4# SPDX-FileCopyrightText: 2019 UGent 5# SPDX-License-Identifier: AGPL-3.0-or-later 6 7if [ "$#" -ne 3 ]; then 8 echo "You must enter exactly 3 arguments: \$OPENWIFI_DIR \$XILINX_DIR \$BOARD_NAME" 9 exit 1 10fi 11 12OPENWIFI_DIR=$1 13XILINX_DIR=$2 14BOARD_NAME=$3 15 16if [ -f "$OPENWIFI_DIR/LICENSE" ]; then 17 echo "\$OPENWIFI_DIR is found!" 18else 19 echo "\$OPENWIFI_DIR is not correct. Please check!" 20 exit 1 21fi 22 23if [ -d "$XILINX_DIR/SDK" ]; then 24 echo "\$XILINX_DIR is found!" 25else 26 echo "\$XILINX_DIR is not correct. Please check!" 27 exit 1 28fi 29 30if [ "$BOARD_NAME" != "zc706_fmcs2" ] && [ "$BOARD_NAME" != "zc702_fmcs2" ] && [ "$BOARD_NAME" != "zed_fmcs2" ] && [ "$BOARD_NAME" != "adrv9361z7035" ] && [ "$BOARD_NAME" != "adrv9364z7020" ]; then 31 echo "\$BOARD_NAME is not correct. Please check!" 32 exit 1 33else 34 echo "\$BOARD_NAME is found!" 35fi 36 37home_dir=$(pwd) 38 39set -ex 40 41# check if user entered the right path to SDK 42source $XILINX_DIR/SDK/2018.3/settings64.sh 43 44cd $OPENWIFI_DIR/kernel_boot 45 46./build_boot_bin.sh $BOARD_NAME 47 48cd $home_dir 49