# Copyright (c) 2021-2023 HPMicro
# SPDX-License-Identifier: BSD-3-Clause

sdk_src(
    hpm_smc.c
    hpm_over_zero.c
    hpm_hfi.c
    )