|
@@ -61,6 +61,8 @@ static const image_header_t *image_get_ramdisk(ulong rd_addr, uint8_t arch,
|
|
|
#endif /* !USE_HOSTCC*/
|
|
|
|
|
|
#include <u-boot/crc.h>
|
|
|
+#include <imximage.h>
|
|
|
+#include <generated/autoconf.h>
|
|
|
|
|
|
#ifndef CONFIG_SYS_BARGSIZE
|
|
|
#define CONFIG_SYS_BARGSIZE 512
|
|
@@ -378,9 +380,9 @@ void image_print_contents(const void *ptr)
|
|
|
}
|
|
|
} else if (image_check_type(hdr, IH_TYPE_FIRMWARE_IVT)) {
|
|
|
printf("HAB Blocks: 0x%08x 0x0000 0x%08x\n",
|
|
|
- image_get_load(hdr) - image_get_header_size(),
|
|
|
- image_get_size(hdr) + image_get_header_size()
|
|
|
- - 0x1FE0);
|
|
|
+ image_get_load(hdr) - image_get_header_size(),
|
|
|
+ (int)(image_get_size(hdr) + image_get_header_size()
|
|
|
+ + sizeof(flash_header_v2_t) - CONFIG_CSF_SIZE));
|
|
|
}
|
|
|
}
|
|
|
|