Commit 862351d1 authored by Grant Likely's avatar Grant Likely
Browse files

Fix SD image generation for RK3399



Signed-off-by: Grant Likely's avatarGrant Likely <grant.likely@arm.com>
parent 914e805f
......@@ -19,8 +19,8 @@ u-boot/all: tfa/bl31
UBOOT_EXTRA += BL31=$(TFA_OUTPUT)/$(TFA_PLAT)/release/bl31/bl31.elf
sdimage:
dd if=/dev/zero of=$(SD_IMAGE) seek=32M count=0
dd if=/dev/zero of=$(SD_IMAGE) count=$$((32*1024*1024>>9))
/sbin/sgdisk -g $(SD_IMAGE)
/sbin/sgdisk -n 1:: $(SD_IMAGE)
dd if=${UBOOT_OUTPUT}/idbloader.IMAGE of=$(SD_IMG) seek=64
dd if=${UBOOT_OUTPUT}/idbloader.img of=$(SD_IMAGE) seek=64
dd if=${UBOOT_OUTPUT}/u-boot.itb of=$(SD_IMAGE) seek=16384
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment