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]"