void platform_init(void) { printf("clocks:\n"); printf("\tsysclk %u\n", HAL_RCC_GetSysClockFreq()); printf("\thclk %u\n", HAL_RCC_GetHCLKFreq()); printf("\tpclk1 %u\n", HAL_RCC_GetPCLK1Freq()); printf("\tpclk2 %u\n", HAL_RCC_GetPCLK2Freq()); printf("unique id: 0x%08x%08x%08x\n", stm32_unique_id[0], stm32_unique_id[1], stm32_unique_id[2]); stm32_timer_init(); stm32_flash_init(); // ITM_SendChar('2'); }
void platform_init(void) { stm32_timer_init(); stm32_flash_nor_init(); }
void platform_init(void) { stm32_timer_init(); }