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