# Copyright (c) 2020 ARM Limited. All rights reserved. # SPDX-License-Identifier: Apache-2.0 add_subdirectory(RTX) target_include_directories(mbed-rtos PUBLIC Include ) target_sources(mbed-rtos PRIVATE Source/os_systick.c Source/os_tick_ptim.c )