# Copyright (c) 2020 ARM Limited. All rights reserved.
# SPDX-License-Identifier: Apache-2.0
target_include_directories(mbed-core
INTERFACE
.
)
target_sources(mbed-core-obj
PRIVATE
mstd_mutex.cpp