diff --git a/firmware/Makefile b/firmware/Makefile
index 640e66b60f..002ea5cc6e 100644
--- a/firmware/Makefile
+++ b/firmware/Makefile
@@ -112,7 +112,7 @@ DDEFS += -D$(PROJECT_BOARD)
 include $(CHIBIOS)/os/common/startup/ARMCMx/compilers/GCC/mk/startup_stm32f4xx.mk
 # HAL-OSAL files (optional).
 include $(CHIBIOS_CONTRIB)/os/hal/hal.mk
-include $(CHIBIOS_CONTRIB)/os/hal/ports/STM32/STM32F4xx/platform.mk
+include $(CHIBIOS)/os/hal/ports/STM32/STM32F4xx/platform.mk
 include $(CHIBIOS)/os/hal/osal/rt/osal.mk
 # RTOS files (optional).
 include $(CHIBIOS)/os/rt/rt.mk