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
16 #define CONFIG_SYS_PBI_FLASH_BASE 0xce000000
18 #define CONFIG_SYS_PBI_FLASH_WINDOW 0xcff80000
20 #if defined(CONFIG_B4860QDS) || \
21 defined(CONFIG_T4240QDS) || \
22 defined(CONFIG_T2080QDS)
23 #define CONFIG_SYS_CPC_REINIT_F
24 #undef CONFIG_SYS_INIT_L3_ADDR
25 #define CONFIG_SYS_INIT_L3_ADDR 0xbff00000