#
#  ARM/EDB7312 Support 
#

##INSERT SKYEYE SUPPORT HERE

checkBSPFaults()
{
  bspExited_ARM
  return $?
}

bspTreeFile=edb7312.conf

### Generate the PSIM device tree based upon the type of application being run
bspGenerateDeviceTree()
{
cat <<EOF
cpu: arm720t
mach: ep7312
mem_bank: map=I,type=RW, addr=0x80000000, size=0x00100000
mem_bank: map=M, type=RW, addr=0x00000000, size=0x1000000
uart: mod=pipe, desc_in=/dev/null, desc_out=/dev/stdout
shutdown_device: addr=0xb0000000, max_ins=0
EOF
#shutdown_device: addr=0xb0000000, max_ins=${limit}0000000

if [ ${coverage} = yes ] ; then
  # enable 1 MB of RAM to be analyzed.
  echo "code_coverage: state=on, filename=${2}.cov, start=0x00000000, end=0x00100000"
fi
}