#!/bin/sh

export OSLAB_PATH=$(dirname `which $0`)

if [ ! -e "$OSLAB_PATH/hdc/umounted" ]; then
	echo umount hdc first
	sudo umount $OSLAB_PATH/hdc
	if [ "$?" != "0" ]; then
		exit
	fi
fi

gdb -x $OSLAB_PATH/gdb-cmd.txt $OSLAB_PATH/src/tools/system