From cd0cfc34a3d01bdd3837e4e8ad2b988b6f321a71 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 4 Feb 2022 16:32:01 +0100
Subject: [PATCH] create_builddir: add imx repository for arm_v7

---
 tool/builddir/build.conf/repos_arm_v7 | 5 +++++
 1 file changed, 5 insertions(+)

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
+