execUserSetup()
{   
    __message "Setting up NXP board\n";
    __writeMemory32(0x00000001, 0x400FC040, "Memory"); // MEMMAP = 1
   __hwReset(1);
}

execUserPreload()
{   
    __message "User Preload\n";
    __writeMemory32(0x00000001, 0x400FC040, "Memory"); // MEMMAP = 1
    __hwReset(1);
}

execUserFlashExit()
{
    __message "User Flash Exit\n";
    __writeMemory32(0x00000001, 0x400FC040, "Memory"); // MEMMAP = 1
    __hwReset(1);
}