1 /*
2  * Copyright 2025 Core Devices LLC
3  * SPDX-License-Identifier: Apache-2.0
4  */
5 
6 #include <stdint.h>
7 #include <zephyr/kernel.h>
8 
9 /* System clock (48MHz by RC48 at boot) */
10 uint32_t SystemCoreClock = 48000000UL;
11 
HAL_Delay_us(uint32_t us)12 void HAL_Delay_us(uint32_t us)
13 {
14 	k_sleep(K_USEC(us));
15 }
16