From 15b30f3547e5ed22423cde462336f2eda75124f0 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 5 Jun 2023 17:19:45 +0200
Subject: [PATCH] sculpt_image: add MNT Reform2 as target board

Fix genodelabs/genode#4936
---
 repos/gems/run/sculpt_image.run | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/repos/gems/run/sculpt_image.run b/repos/gems/run/sculpt_image.run
index 70fc016e0a..11d9219c52 100644
--- a/repos/gems/run/sculpt_image.run
+++ b/repos/gems/run/sculpt_image.run
@@ -3,8 +3,9 @@
 #
 
 proc board_supported { } {
-	if {[have_board pinephone]} { return true }
-	if {[have_board pc]}        { return true }
+	if {[have_board pinephone]}   { return true }
+	if {[have_board pc]}          { return true }
+	if {[have_board mnt_reform2]} { return true }
 	return false
 }
 
@@ -38,6 +39,12 @@ if {[have_board pc]} {
 	assert_include image/disk
 }
 
+if {[have_board mnt_reform2]} {
+	assert_include image/uboot
+	assert_include image/imx8mq_mmc
+	assert_run_arg "--image-uboot-gzip-best"
+}
+
 source ${genode_dir}/repos/gems/run/sculpt.run
 
 set image_name "sculpt-$board_var-[build_date]"