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