/* Configure system tick to generate an interrupt every 1ms.  */
static void configure_systick(void)
/* Configure system tick to generate an interrupt every 1ms.  */
static void configure_systick(void)
{
	uint32_t ul_flag;
	ul_flag = SysTick_Config(sysclk_get_cpu_hz() / SYS_TICK_FREQ);
	if (ul_flag) {
		puts("-F- Systick configuration error\r");
		while (1) {
		}
	}
}