HibernateIntRegister(HibIsr) ;
HibernateIntEnable(HIBERNATE_INT_RTC_MATCH_0);
HibernateWakeSet(HIBERNATE_WAKE_RTC);
//
// Request hibernation.
//
HibernateRequest();
SysCtlDelay(SysCtlClockGet()/3) ;
UARTprintf("Complete!\n") ;
//
// Give it time to activate, it should never get past this wait.
//