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

sdk_inc(.)
sdk_src(
    os_cfg_app.c
    os_core.c
    os_dbg.c
    os_flag.c
    os_mem.c
    os_msg.c
    os_mutex.c
    os_prio.c
    os_q.c
    os_sem.c
    os_stat.c
    os_task.c
    os_tick.c
    os_time.c
    os_tmr.c
    os_var.c
    )