From 73d3e5e39fdfeb0838956ad76924e2343c43cbc9 Mon Sep 17 00:00:00 2001 From: Víctor Mayoral Vilches Date: Thu, 2 Sep 2021 16:52:13 -0700 Subject: Add support for DOM0_RAMDISK Signed-off-by: Víctor Mayoral Vilches Signed-off-by: Brian Woods Reviewed-by: Stefano Stabellini Signed-off-by: Stefano Stabellini --- scripts/disk_image | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'scripts/disk_image') diff --git a/scripts/disk_image b/scripts/disk_image index f0afcd0..57309d5 100755 --- a/scripts/disk_image +++ b/scripts/disk_image @@ -293,6 +293,10 @@ _part1_size=`stat -L --printf="%s" $UBOOT_OUT/$DOM0_KERNEL` _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/$DEVICE_TREE` )) _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/$UBOOT_SCRIPT` )) +if test "${DOM0_RAMDISK}" +then + _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/${DOM0_RAMDISK}` )) +fi if test "${UBOOT_SOURCE}" then _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/$UBOOT_SOURCE` )) @@ -419,6 +423,11 @@ cp --parents "$DOM0_KERNEL" "${DESTDIR_ABS}/part/disk1/" cp --parents "$DEVICE_TREE" "${DESTDIR_ABS}/part/disk1/" cp --parents "$UBOOT_SCRIPT" "${DESTDIR_ABS}/part/disk1/" +if test "${DOM0_RAMDISK}" +then + cp --parents "$DOM0_RAMDISK" "${DESTDIR_ABS}/part/disk1/" +fi + if test "${UBOOT_SOURCE}" then cp --parents "$UBOOT_SOURCE" "${DESTDIR_ABS}/part/disk1/" -- cgit v1.2.3