1 /*
2  * Copyright 2010-2011 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 #if defined(CONFIG_FSL_CORENET)
12 #define CONFIG_SYS_PBI_FLASH_BASE		0xc0000000
13 #elif defined(CONFIG_BSC9132QDS)
14 #define CONFIG_SYS_PBI_FLASH_BASE		0xc8000000
15 #else
16 #define CONFIG_SYS_PBI_FLASH_BASE		0xce000000
17 #endif
18 #define CONFIG_SYS_PBI_FLASH_WINDOW		0xcff80000
19 
20 #if defined(CONFIG_B4860QDS) || \
21 	defined(CONFIG_T4240QDS) || \
22 	defined(CONFIG_T2080QDS) || \
23 	defined(CONFIG_T2080RDB) || \
24 	defined(CONFIG_T1040QDS) || \
25 	defined(CONFIG_T104xRDB)
26 #define CONFIG_SYS_CPC_REINIT_F
27 #undef CONFIG_SYS_INIT_L3_ADDR
28 #define CONFIG_SYS_INIT_L3_ADDR			0xbff00000
29 #endif
30 
31 #endif
32 #endif
33