diff --git a/repos/os/include/spec/arm/platform_session/connection.h b/repos/os/include/spec/arm/platform_session/connection.h
index 1f1660f34c..a13d3a207f 100644
--- a/repos/os/include/spec/arm/platform_session/connection.h
+++ b/repos/os/include/spec/arm/platform_session/connection.h
@@ -14,6 +14,7 @@
#ifndef _INCLUDE__SPEC__ARM__PLATFORM_SESSION__CONNECTION_H_
#define _INCLUDE__SPEC__ARM__PLATFORM_SESSION__CONNECTION_H_
+#include
#include
#include
#include