diff --git a/platform/mcu/STM32F4xx/drivers/gpio-native.h b/platform/mcu/STM32F4xx/drivers/gpio-native.h
index 73909226..8bdef617 100644
--- a/platform/mcu/STM32F4xx/drivers/gpio-native.h
+++ b/platform/mcu/STM32F4xx/drivers/gpio-native.h
@@ -19,7 +19,7 @@
 #define GPIO_NATIVE_H
 
 #include <peripherals/gpio.h>
-#include <hwconfig.h>
+#include <stm32f4xx.h>
 #include <stdint.h>
 
 #ifdef __cplusplus