/*
 * Copyright 2025 Core Devices LLC
 * SPDX-License-Identifier: Apache-2.0
 */

#include <stdint.h>
#include <zephyr/kernel.h>

/* System clock (48MHz by RC48 at boot) */
uint32_t SystemCoreClock = 48000000UL;

void HAL_Delay_us(uint32_t us)
{
	k_sleep(K_USEC(us));
}