# Copyright (c) 2021 ARM Limited. All rights reserved.
# SPDX-License-Identifier: Apache-2.0

add_library(mbed-headers-rtos INTERFACE)

target_include_directories(mbed-headers-rtos
    INTERFACE
        .
        ${mbed-os_SOURCE_DIR}/rtos/include
        ${mbed-os_SOURCE_DIR}/rtos/include/rtos
)

add_library(mbed-stubs-rtos)

target_include_directories(mbed-stubs-rtos
    INTERFACE
        .
)

target_compile_definitions(mbed-stubs-rtos
    PRIVATE
        MBED_CONF_RTOS_PRESENT=1
)

target_sources(mbed-stubs-rtos
    PRIVATE
        ConditionVariable_stub.cpp
        Kernel_stub.cpp
        mbed_rtos_rtx_stub.c
        Mutex_stub.cpp
        rtx_mutex_stub.c
        Semaphore_stub.cpp
        ThisThread_stub.cpp
        Thread_stub.cpp
)

target_link_libraries(mbed-stubs-rtos
    PRIVATE        
        mbed-headers-rtos
        mbed-headers-platform
        mbed-headers-drivers
        mbed-headers-hal
)