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

sdk_src(cmsis_os1.c)
sdk_src(cmsis_os2.c)
sdk_src(freertos_evr.c)