modules/hal_sifli/hal.c

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

#include <stdint.h>

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