From 3f83ac55807a8a64135c5aafc270587e523d48ce Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 29 Nov 2019 14:55:26 +0100
Subject: [PATCH] tool: add imx8_evk board variable hint

---
 tool/builddir/build.conf/run_arm_v8 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/builddir/build.conf/run_arm_v8 b/tool/builddir/build.conf/run_arm_v8
index dd6a6e705..5e69d212d 100644
--- a/tool/builddir/build.conf/run_arm_v8
+++ b/tool/builddir/build.conf/run_arm_v8
@@ -4,7 +4,7 @@ QEMU_RUN_OPT := --include power_on/qemu  --include log/qemu
 # kernel to use (hw, foc, or sel4)
 #KERNEL ?= hw
 
-# board to use (rpi3)
+# board to use (rpi3, imx8q_evk)
 #BOARD ?= rpi3
 
 # local variable for run-tool arguments that depend on the used board