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 defined(CONFIG_PPC_T1023) || \ 27 defined(CONFIG_PPC_T1024) 28 #define CONFIG_SYS_CPC_REINIT_F 29 #undef CONFIG_SYS_INIT_L3_ADDR 30 #define CONFIG_SYS_INIT_L3_ADDR 0xbff00000 31 #endif 32 33 #endif 34 #endif 35