scripts: mkbootimg_rpi3.sh: Add ARM64 kernel/dtb binary to boot.img

Change-Id: I7a03c11ef155dd3ad5fc935511ae764ef699c145
Signed-off-by: Joonyoung Shim <jy0922.shim@samsung.com>

diff --git a/scripts/mkbootimg_rpi3.sh b/scripts/mkbootimg_rpi3.sh
index f4dce8173c7fc7d9a2bb4508b51af38e5747308c..c938eff0e88b989fd1d36de6fe898252b954c969 100755 (executable)
--- a/scripts/mkbootimg_rpi3.sh
+++ b/scripts/mkbootimg_rpi3.sh
@@ -10,5 +10,8 @@ mkdir tmp
 mkfs.vfat -F 16 -C boot.img 32768
 sudo mount -o loop,uid=$USER_ID,gid=$GROUP_ID,showexec boot.img ./tmp
 cp -a $BOOT_PATH/* ./tmp
+cp -a arch/arm64/boot/Image ./tmp
+cp -a arch/arm64/boot/dts/broadcom/bcm*.dtb ./tmp
+cp -a output/kernel.img ./tmp
 sudo umount tmp
 rm -rf tmp