diff --git a/tool/builddir/build.conf/repos_arm_v7 b/tool/builddir/build.conf/repos_arm_v7
index a36845e5fc..a708c1522b 100644
--- a/tool/builddir/build.conf/repos_arm_v7
+++ b/tool/builddir/build.conf/repos_arm_v7
@@ -3,3 +3,8 @@
 #
 #REPOSITORIES += $(GENODE_DIR)/repos/zynq
 
+#
+# Board-support for i.MX 5/6/7 SoC
+#
+#REPOSITORIES += $(GENODE_DIR)/repos/imx
+