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

sdk_gcc_inc(RISC-V/RV32/GCC)
sdk_gcc_src(RISC-V/RV32/GCC/os_cpu_a.S)
sdk_gcc_src(RISC-V/RV32/GCC/os_cpu_c.c)
sdk_ses_inc(RISC-V/RV32/GCC)
sdk_ses_src(RISC-V/RV32/GCC/os_cpu_a.S)
sdk_ses_src(RISC-V/RV32/GCC/os_cpu_c.c)
sdk_iar_inc(RISC-V/RV32/IAR)
sdk_iar_src(RISC-V/RV32/IAR/os_cpu_a.s)
sdk_iar_src(RISC-V/RV32/IAR/os_cpu_c.c)