diff --git a/lib/plat/freertos/private-lib-plat-freertos.h b/lib/plat/freertos/private-lib-plat-freertos.h
index a81bbc055..48f113725 100644
--- a/lib/plat/freertos/private-lib-plat-freertos.h
+++ b/lib/plat/freertos/private-lib-plat-freertos.h
@@ -60,6 +60,7 @@ gai_strerror(int);
 #endif
  #include "timers.h"
  #include <esp_attr.h>
+ #include <semphr.h>
 #else
  #include "freertos/timers.h"
  #include <esp_attr.h>