# The IMX31PDK eval board has a single IMX31 chip
source [find target/imx31.cfg]
-$_TARGETNAME configure -event gdb-attach { reset init }
$_TARGETNAME configure -event reset-init { imx31pdk_init }
proc imx31pdk_init { } {
# This setup puts RAM at 0x80000000
- # reset the board correctly
- reset run
- reset halt
-
# ========================================
# Init CCM
# ========================================