From cf84787c09d2ffd076d7b8037c1bec1ecdd61418 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 29 Oct 2024 15:49:51 +0100 Subject: [PATCH] sculpt_image: add MNT Pocket as target board Issue genodelabs/genode#5360. --- repos/gems/run/sculpt_image.run | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/repos/gems/run/sculpt_image.run b/repos/gems/run/sculpt_image.run index ea059ddf33..f565a0896e 100644 --- a/repos/gems/run/sculpt_image.run +++ b/repos/gems/run/sculpt_image.run @@ -6,6 +6,7 @@ proc board_supported { } { if {[have_board pinephone]} { return true } if {[have_board pc]} { return true } if {[have_board mnt_reform2]} { return true } + if {[have_board mnt_pocket]} { return true } return false } @@ -45,6 +46,12 @@ if {[have_board mnt_reform2]} { assert_run_arg "--image-uboot-gzip-best" } +if {[have_board mnt_pocket]} { + assert_include image/uboot + assert_include image/mnt_pocket_sdcard + assert_run_arg "--image-uboot-gzip-best" +} + source ${genode_dir}/repos/gems/run/sculpt.run set image_name "sculpt-$board_var-[build_date]"