diff --git a/os/common/ports/ARMCAx-TZ/compilers/GCC/mk/port_generic.mk b/os/common/ports/ARMCAx-TZ/compilers/GCC/mk/port_generic.mk
index 98a0ca885..b27a565a2 100644
--- a/os/common/ports/ARMCAx-TZ/compilers/GCC/mk/port_generic.mk
+++ b/os/common/ports/ARMCAx-TZ/compilers/GCC/mk/port_generic.mk
@@ -1,5 +1,6 @@
 # List of the ChibiOS/RT ARMCAx-TZ generic port files.
-PORTSRC = ${CHIBIOS}/os/common/ports/ARMCAx-TZ/chcore.c
+PORTSRC = ${CHIBIOS}/os/common/ports/ARMCAx-TZ/chcore.c \
+          ${CHIBIOS}/os/common/ports/ARMCAx-TZ/chsmc.c
 
 PORTASM = $(CHIBIOS)/os/common/ports/ARMCAx-TZ/compilers/GCC/chcoreasm.S \
           $(CHIBIOS)/os/common/ports/ARMCAx-TZ/compilers/GCC/monitor.S