#!/bin/bash

XT_GDB=$XCC_TOOLS/bin/xt-gdb
ELF_NAME=${O}/${KERNEL_ELF_NAME}

set -e

do_debug() {
    ${XT_GDB} ${ELF_NAME}
}

CMD="$1"
shift

case "${CMD}" in
  debug)
    do_debug "$@"
    ;;
  *)
    echo "${CMD} not supported"
    exit 1
    ;;
esac