| 1234567891011121314151617181920212223242526272829303132333435363738394041 |
- #!/bin/bash
- PAL_LOADER=$(readlink -f ${BASH_SOURCE[0]})
- PAL_DIR=$(readlink -f $(dirname $PAL_LOADER)/../../../../Pal/src)
- PAL=$PAL_DIR/pal
- MANIFEST=
- GDB_CMD=
- PAL_CMD=$PAL
- if [ "$GDB" == "1" ]; then
- GDB="gdb"
- fi
- if [ "$GDB" != "" ] && [ "$GDB" != "0" ]; then
- GDB_CMD="$GDB --args"
- fi
- if [ "$SEC" == "1" ]; then
- echo "Use reference monitor"
- fi
- while [ "$1" != "" ];
- do
- if [ "$MANIFEST" == "" ]; then
- MANIFEST=$1
- shift
- continue
- fi
- break
- done
- if [ ! -f "$PAL_CMD" ]; then
- echo "$PAL_CMD is not built, or security mode is not supported"
- exit 1
- fi
- set -x
- exec $GDB_CMD $PAL_CMD $MANIFEST "$@"
|
