/* This function configures the source of the time base. The time source is configured to have 1ms time base with a dedicated Tick interrupt priority.  */
__weak void ald_tick_init(uint32_t prio)
/* This function configures the source of the time base. The time source is configured to have 1ms time base with a dedicated Tick interrupt priority.  */
__weak void ald_tick_init(uint32_t prio)
{
	SysTick_Config(ald_cmu_get_sys_clock() / SYSTICK_INTERVAL_1MS);
	if (prio != 3)
		NVIC_SetPriority(SysTick_IRQn, prio);
	return;
}