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 #if defined(CONFIG_FSL_CORENET) 11 #define CONFIG_SYS_PBI_FLASH_BASE 0xc0000000 12 #else 13 #define CONFIG_SYS_PBI_FLASH_BASE 0xce000000 14 #endif 15 #define CONFIG_SYS_PBI_FLASH_WINDOW 0xcff80000 16 17 #endif 18