diff --git a/libraries/AP_EFI/AP_EFI_Backend.h b/libraries/AP_EFI/AP_EFI_Backend.h
index 2f48a4694e..b23ab824d6 100644
--- a/libraries/AP_EFI/AP_EFI_Backend.h
+++ b/libraries/AP_EFI/AP_EFI_Backend.h
@@ -16,7 +16,7 @@
 
 #include "AP_EFI.h"
 #include "AP_EFI_State.h"
-#include <AP_HAL/AP_HAL.h>
+#include <AP_HAL/Semaphores.h>
 
 class AP_EFI; //forward declaration