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 7b156c938..b80ac0f78 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,7 +1,8 @@
 # List of the ChibiOS/RT ARMCAx-TZ generic port files.
 PORTSRC = ${CHIBIOS}/os/common/ports/ARMCAx-TZ/chcore.c
 
-PORTASM = $(CHIBIOS)/os/common/ports/ARMCAx-TZ/compilers/GCC/chcoreasm.S
+PORTASM = $(CHIBIOS)/os/common/ports/ARMCAx-TZ/compilers/GCC/chcoreasm.S \
+          $(CHIBIOS)/os/common/ports/ARMCAx-TZ/compilers/GCC/monitor.S
 
 PORTINC = ${CHIBIOS}/os/common/ports/ARMCAx-TZ \
           ${CHIBIOS}/os/common/ports/ARMCAx-TZ/compilers/GCC