diff --git a/libraries/AP_HAL_PX4/GPIO.cpp b/libraries/AP_HAL_PX4/GPIO.cpp
index 427848201e..4ede76b613 100644
--- a/libraries/AP_HAL_PX4/GPIO.cpp
+++ b/libraries/AP_HAL_PX4/GPIO.cpp
@@ -5,8 +5,6 @@
 #if CONFIG_HAL_BOARD == HAL_BOARD_PX4
 
 #include "GPIO.h"
-#include "defines.h"
-#include "config.h"
 
 #include <sys/types.h>
 #include <sys/stat.h>