10 mkfs.vfat -F 16 -C boot.img 65536
11 sudo mount -o loop,uid=$USER_ID,gid=$GROUP_ID,showexec boot.img ./tmp
12 cp -a $BOOT_PATH/config_64bit.txt ./tmp/config.txt
13 cp -a $BOOT_PATH/LICENCE.broadcom ./tmp
14 cp -a $BOOT_PATH/bootcode.bin ./tmp
15 cp -a $BOOT_PATH/start*.elf ./tmp
16 cp -a $BOOT_PATH/fixup*.dat ./tmp
17 cp -a arch/arm64/boot/Image ./tmp
18 cp -a arch/arm64/boot/dts/broadcom/bcm*.dtb ./tmp
20 # install u-boot files extracted from u-boot-rpi3 rpm package in download.tizen.org.
21 TMP_UBOOT_PATH=tmp_uboot
22 mkdir -p ${TMP_UBOOT_PATH}
23 pushd ${TMP_UBOOT_PATH}
24 REPO_URL=http://download.tizen.org/snapshots/tizen/unified/latest/repos/standard/packages/aarch64/
27 UBOOT=`awk -F\" '{ print $2 }' index.html | grep u-boot-rpi3`
28 wget ${REPO_URL}${UBOOT}
31 # install u-boot.img having optee.bin extracted from atf-rpi3 rpm package in download.tizen.org.
32 ATF=`awk -F\" '{ print $2 }' index.html | grep atf-rpi3`
33 wget ${REPO_URL}${ATF}
37 cp -a ${TMP_UBOOT_PATH}/boot/* ./tmp
38 rm -rf ${TMP_UBOOT_PATH}