1 /*
2  * Copyright 2015 Freescale Semiconductor, Inc.
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 #ifndef __FSL_SECURE_BOOT_H
8 #define __FSL_SECURE_BOOT_H
9 
10 #ifdef CONFIG_SECURE_BOOT
11 #ifndef CONFIG_FIT_SIGNATURE
12 
13 #define CONFIG_EXTRA_ENV \
14 	"setenv fdt_high 0xcfffffff;"	\
15 	"setenv initrd_high 0xcfffffff;"	\
16 	"setenv hwconfig \'fsl_ddr:ctlr_intlv=null,bank_intlv=null\';"
17 
18 /* The address needs to be modified according to NOR memory map */
19 #define CONFIG_BOOTSCRIPT_HDR_ADDR	0x600a0000
20 
21 #include <config_fsl_secboot.h>
22 #endif
23 #endif
24 
25 #endif
26