1#-------------------------------------------------------------------------------
2# Copyright (c) 2001-2019, Arm Limited. All rights reserved.
3#
4# SPDX-License-Identifier: BSD-3-Clause
5#
6#-------------------------------------------------------------------------------
7
8ifeq ($(TEE_OS), freertos)
9INCDIRS_EXTRA += $(KERNEL_DIR)/OS/FreeRTOS/Source/include
10INCDIRS_EXTRA += $(KERNEL_DIR)/OS/FreeRTOS-Plus-CLI
11INCDIRS_EXTRA += $(KERNEL_DIR)/OS/FreeRTOS-Plus-TCP/include
12INCDIRS_EXTRA += $(KERNEL_DIR)/boards/MPS2+
13INCDIRS_EXTRA += $(KERNEL_DIR)/lib/main
14INCDIRS_EXTRA += $(KERNEL_DIR)/InterruptCtrl
15
16COMPILER_TYPE_DIR = $(shell echo $(COMPILER_TYPE) | tr a-z A-Z)
17
18INCDIRS_EXTRA += $(KERNEL_DIR)/OS/FreeRTOS-Plus-TCP/portable/Compiler/$(COMPILER_TYPE_DIR)
19
20ifeq ($(ARM_CPU), cortex-m33)
21CFLAGS += -DSSE_200
22INCDIRS_EXTRA += $(KERNEL_DIR)/OS/FreeRTOS/Source/portable/$(COMPILER_TYPE_DIR)/ARM_CM33
23else
24CFLAGS += -DARMCM3
25INCDIRS_EXTRA += $(KERNEL_DIR)/OS/FreeRTOS/Source/portable/$(COMPILER_TYPE_DIR)/ARM_CM3
26endif
27
28endif
29
30