# Copyright (c) 2020 ARM Limited. All rights reserved. # SPDX-License-Identifier: Apache-2.0 add_subdirectory(RTX) # Note: RTOS headers needed even for mbed-baremetal in order to get type sizes target_include_directories(mbed-core-flags INTERFACE Include ) target_sources(mbed-rtos-sources INTERFACE Source/os_systick.c Source/os_tick_ptim.c )