diff --git a/.gitmodules b/.gitmodules
index cb7ea97..5c26917 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7186,3 +7186,6 @@
 [submodule "docbook-toys"]
 	path = docbook-toys
 	url = ../../pool-internal/docbook-toys
+[submodule "gnu-compilers-hpc"]
+	path = gnu-compilers-hpc
+	url = ../../pool/gnu-compilers-hpc
diff --git a/gnu-compilers-hpc b/gnu-compilers-hpc
new file mode 160000
index 0000000..7bad287
--- /dev/null
+++ b/gnu-compilers-hpc
@@ -0,0 +1 @@
+Subproject commit 7bad2874b9f70e874d04cee3e1fb2c91d51f0d1f