ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 13:26:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt_image: add MNT Pocket as target board

Browse Source 
Issue genodelabs/genode#5360.
This commit is contained in:
Stefan Kalkowski 2024-10-29 15:49:51 +01:00 committed by Christian Helmuth
parent 324245d029
commit cf84787c09
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/gems/run/sculpt_image.run
View File

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