|
@@ -2093,6 +2093,7 @@ int fit_image_load(bootm_headers_t *images, ulong addr,
|
|
|
bootstage_mark(bootstage_id + BOOTSTAGE_SUB_CHECK_ALL);
|
|
|
type_ok = fit_image_check_type(fit, noffset, image_type) ||
|
|
|
fit_image_check_type(fit, noffset, IH_TYPE_FIRMWARE) ||
|
|
|
+ fit_image_check_type(fit, noffset, IH_TYPE_TEE) ||
|
|
|
(image_type == IH_TYPE_KERNEL &&
|
|
|
fit_image_check_type(fit, noffset, IH_TYPE_KERNEL_NOLOAD));
|
|
|
|
|
@@ -2100,6 +2101,7 @@ int fit_image_load(bootm_headers_t *images, ulong addr,
|
|
|
image_type == IH_TYPE_FPGA ||
|
|
|
fit_image_check_os(fit, noffset, IH_OS_LINUX) ||
|
|
|
fit_image_check_os(fit, noffset, IH_OS_U_BOOT) ||
|
|
|
+ fit_image_check_os(fit, noffset, IH_OS_TEE) ||
|
|
|
fit_image_check_os(fit, noffset, IH_OS_OPENRTOS) ||
|
|
|
fit_image_check_os(fit, noffset, IH_OS_EFI) ||
|
|
|
fit_image_check_os(fit, noffset, IH_OS_VXWORKS);
|