2 * Copyright 2010-2011 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 #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 #elif defined(CONFIG_C29XPCIE)
16 #define CONFIG_SYS_PBI_FLASH_BASE 0xcc000000
18 #define CONFIG_SYS_PBI_FLASH_BASE 0xce000000
20 #define CONFIG_SYS_PBI_FLASH_WINDOW 0xcff80000
22 #if defined(CONFIG_B4860QDS) || \
23 defined(CONFIG_T4240QDS) || \
24 defined(CONFIG_T2080QDS) || \
25 defined(CONFIG_T2080RDB) || \
26 defined(CONFIG_T1040QDS) || \
27 defined(CONFIG_T104xRDB) || \
28 defined(CONFIG_PPC_T1023) || \
29 defined(CONFIG_PPC_T1024)
30 #define CONFIG_SYS_CPC_REINIT_F
31 #undef CONFIG_SYS_INIT_L3_ADDR
32 #define CONFIG_SYS_INIT_L3_ADDR 0xbff00000