gitmodules update

yshalabi · yshalabi · commit e630639714d5 · 2019-06-20T12:44:58.000-05:00
diff --git a/.gitmodules b/.gitmodules
@@ -7,5 +7,5 @@
 	url = ../../moehajj/Flush-Reload
 [submodule "extern/pp-l1d-repo"]
 	path = extern/pp-l1d-repo
-	url = ../../yshalabi/cc-fun
+	url = ../../yshalabi/covert-channel-toolkit
     branch = isca19_tutorial
