diff --git a/Makefile b/Makefile
index bdfb4f0..49d7cc4 100644
--- a/Makefile
+++ b/Makefile
@@ -250,6 +250,7 @@
 				-Iinclude/lib/cpus/${ARCH}		\
 				-Iinclude/lib/el3_runtime		\
 				-Iinclude/lib/el3_runtime/${ARCH}	\
+				-Iinclude/lib/pmf			\
 				-Iinclude/lib/psci			\
 				-Iinclude/plat/common			\
 				-Iinclude/services			\