diff --git a/.gitmodules b/.gitmodules
index 9d08895..1276044 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
-[submodule "k"]
-	path = k
-	url = https://github.com/kframework/k.git
+[submodule "k-legacy"]
+	path = k-legacy
+	url = https://github.com/kframework/k-legacy.git
diff --git a/k-legacy b/k-legacy
new file mode 160000
index 0000000..2d59fc2
--- /dev/null
+++ b/k-legacy
@@ -0,0 +1 @@
+Subproject commit 2d59fc26254be505fc6fd010b6812eec10bb727a