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 #if defined(CONFIG_FSL_CORENET)
11 #define CONFIG_SYS_PBI_FLASH_BASE 0xc0000000
13 #define CONFIG_SYS_PBI_FLASH_BASE 0xce000000
15 #define CONFIG_SYS_PBI_FLASH_WINDOW 0xcff80000