/* Called once after the target reset. */
execUserReset()
{
/* Re-load image as AIXRAM2 is erased after CPU reset */
__loadImage("$EXE_DIR$\\$TARGET_BNAME$.hex", 0, 0);
__restoreSoftwareBreakpoints();
#PC = __readMemory32(0x34180404, "Memory");
#SP = 0x341FFD00;
}