From e4ee30abf171df5c7d2db94bd1e69b0796c3e7a6 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 14 Dec 2021 16:19:40 +0100
Subject: [PATCH] Add board-specific repos to .gitignore

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 134de28b14..0545cac052 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,5 +7,8 @@
 /contrib
 /depot
 /public
+/repos/imx
+/repos/riscv
 /repos/world
+/repos/zynq