/* Changes the mapping of the chip so that the remap area mirrors the internal RAM.  */
void BOARD_RemapRam(void)
/* Changes the mapping of the chip so that the remap area mirrors the internal RAM.  */
void BOARD_RemapRam(void)
{
    WRITE(AT91C_BASE_MATRIX,
          MATRIX_MRCR,
          (AT91C_MATRIX_RCA926I | AT91C_MATRIX_RCA926D));
}