diff --git a/os/common/startup/ARMCAx-TZ/compilers/GCC/mk/startup_sama5d2.mk b/os/common/startup/ARMCAx-TZ/compilers/GCC/mk/startup_sama5d2.mk
index 3afb391d5..c58d05d21 100644
--- a/os/common/startup/ARMCAx-TZ/compilers/GCC/mk/startup_sama5d2.mk
+++ b/os/common/startup/ARMCAx-TZ/compilers/GCC/mk/startup_sama5d2.mk
@@ -7,7 +7,8 @@ STARTUPASM = $(CHIBIOS)/os/common/startup/ARMCAx-TZ/devices/SAMA5D2/boot.S \
              $(CHIBIOS)/os/common/startup/ARMCAx-TZ/compilers/GCC/crt0.S
 
 STARTUPINC = ${CHIBIOS}/os/common/startup/ARMCAx-TZ/devices/SAMA5D2 \
-             $(CHIBIOS)/os/common/ext/ARM/CMSIS/Core_A/Include
+             $(CHIBIOS)/os/common/ext/ARM/CMSIS/Core_A/Include \
+             $(CHIBIOS)/os/common/portability/GCC
 
 STARTUPLD  = ${CHIBIOS}/os/common/startup/ARMCAx-TZ/compilers/GCC/ld