|
@@ -17,6 +17,8 @@
|
|
|
#include <asm/gpio.h>
|
|
|
#include <usb.h>
|
|
|
#include <linux/usb/gadget.h>
|
|
|
+#include <asm/omap_common.h>
|
|
|
+#include <asm/omap_sec_common.h>
|
|
|
#include <asm/arch/gpio.h>
|
|
|
#include <asm/arch/dra7xx_iodelay.h>
|
|
|
#include <asm/emif.h>
|
|
@@ -834,3 +836,10 @@ int board_fit_config_name_match(const char *name)
|
|
|
return -1;
|
|
|
}
|
|
|
#endif
|
|
|
+
|
|
|
+#ifdef CONFIG_TI_SECURE_DEVICE
|
|
|
+void board_fit_image_post_process(void **p_image, size_t *p_size)
|
|
|
+{
|
|
|
+ secure_boot_verify_image(p_image, p_size);
|
|
|
+}
|
|
|
+#endif
|