2 * Copyright 2015 Freescale Semiconductor, Inc.
4 * SPDX-License-Identifier: GPL-2.0+
7 #ifndef __FSL_SECURE_BOOT_H
8 #define __FSL_SECURE_BOOT_H
10 #ifdef CONFIG_SECURE_BOOT
11 #ifndef CONFIG_FIT_SIGNATURE
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\';"
18 /* The address needs to be modified according to NOR memory map */
19 #define CONFIG_BOOTSCRIPT_HDR_ADDR 0x600a0000
21 #include <config_fsl_secboot.h>