Build: Export missing os_wrapper headers for RTOS integration
Change-Id: Iae0f9b982d37a4dde3823d32cd22acd88740554c
Signed-off-by: Charley Chu <haoc@cypress.com>
diff --git a/cmake/install.cmake b/cmake/install.cmake
index 8d9fe3f..806ebde 100644
--- a/cmake/install.cmake
+++ b/cmake/install.cmake
@@ -1,5 +1,6 @@
#-------------------------------------------------------------------------------
# Copyright (c) 2020, Arm Limited. All rights reserved.
+# Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#
@@ -33,6 +34,9 @@
install(FILES ${INTERFACE_INC_DIR}/os_wrapper/common.h
${INTERFACE_INC_DIR}/os_wrapper/mutex.h
+ ${INTERFACE_INC_DIR}/os_wrapper/semaphore.h
+ ${INTERFACE_INC_DIR}/os_wrapper/thread.h
+ ${INTERFACE_INC_DIR}/os_wrapper/tick.h
DESTINATION ${EXPORT_INC_DIR}/os_wrapper)
install(FILES ${CMAKE_BINARY_DIR}/generated/interface/include/psa_manifest/sid.h