diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000000..63d4f5d14a
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "test"]
+	path = test
+	url = ../CompCert-small-tests
diff --git a/test b/test
new file mode 160000
index 0000000000..4a25324208
--- /dev/null
+++ b/test
@@ -0,0 +1 @@
+Subproject commit 4a253242086d1ce78365d1b5cac3201193fa3814