From 0e94d7410d6a8a28b892abf652f9517f1d5d9e37 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 11 Apr 2019 13:03:58 +0200
Subject: [PATCH] noux_tool_chain_auto: enable imx6 and imx7 boards

Fix #3288
---
 repos/ports/run/noux_tool_chain_auto.run | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run
index 67bddff4f..f37c2936c 100644
--- a/repos/ports/run/noux_tool_chain_auto.run
+++ b/repos/ports/run/noux_tool_chain_auto.run
@@ -59,13 +59,11 @@ if {[have_spec arm]} {
 
 	set noux_boot_timeout   350
 
-	if {[have_spec panda]}   {
-		set platform "panda"
-	}
-	if {[have_spec arndale]} {
-		set platform "arndale"
-	}
-	if {[have_spec pbxa9]}   { set platform "pbxa9" }
+	if {[have_spec panda]}           { set platform "panda" }
+	if {[have_spec arndale]}         { set platform "arndale" }
+	if {[have_spec pbxa9]}           { set platform "pbxa9" }
+	if {[have_spec imx6q_sabrelite]} { set platform "imx6q_sabrelite" }
+	if {[have_spec imx7d_sabre]}     { set platform "imx7d_sabre" }
 
 	if {![info exists platform]} {
 		puts "\n Run script is not supported on this platform. \n"