diff --git a/board/NUCLEO_STM32L073RZ/GCC/hello_world/Makefile b/board/NUCLEO_STM32L073RZ/GCC/hello_world/Makefile
index c2d1b32f..0797f4a3 100644
--- a/board/NUCLEO_STM32L073RZ/GCC/hello_world/Makefile
+++ b/board/NUCLEO_STM32L073RZ/GCC/hello_world/Makefile
@@ -45,7 +45,7 @@ ARCH_SRC =  \
         C_SOURCES += $(ARCH_SRC)
 
 CMSIS_SRC =  \
-        ${wildcard $(TOP_DIR)/osal/cmsis_os/*.c}
+        ${wildcard $(TOP_DIR)/osal/cmsis_os/cmsis_os.c}
         C_SOURCES += $(CMSIS_SRC)