# Copyright (c) 2020 ARM Limited. All rights reserved. # SPDX-License-Identifier: Apache-2.0 add_subdirectory(RTE) add_subdirectory(rtos) target_include_directories(mbed-core PUBLIC . )