/* Configures the SysTick to generate an interrupt each 250 millisecond.  */
void SysTick_Configuration(void)
/* Configures the SysTick to generate an interrupt each 250 millisecond.  */
void SysTick_Configuration(void)
{
  if (SysTick_Config((SystemCoreClock/8) / 4))
  { 
    while (1);
  }
  SysTick_CLKSourceConfig(SysTick_CLKSource_HCLK_Div8);
  NVIC_SetPriority(SysTick_IRQn, 0x04);
}