37 lines
		
	
	
		
			904 B
		
	
	
	
		
			C
		
	
	
	
			
		
		
	
	
			37 lines
		
	
	
		
			904 B
		
	
	
	
		
			C
		
	
	
	
| /*
 | |
|  * Copyright 2010-2011 Freescale Semiconductor, Inc.
 | |
|  *
 | |
|  * SPDX-License-Identifier:	GPL-2.0+
 | |
|  */
 | |
| 
 | |
| #ifndef __FSL_SECURE_BOOT_H
 | |
| #define __FSL_SECURE_BOOT_H
 | |
| 
 | |
| #ifdef CONFIG_SECURE_BOOT
 | |
| #if defined(CONFIG_FSL_CORENET)
 | |
| #define CONFIG_SYS_PBI_FLASH_BASE		0xc0000000
 | |
| #elif defined(CONFIG_BSC9132QDS)
 | |
| #define CONFIG_SYS_PBI_FLASH_BASE		0xc8000000
 | |
| #elif defined(CONFIG_C29XPCIE)
 | |
| #define CONFIG_SYS_PBI_FLASH_BASE		0xcc000000
 | |
| #else
 | |
| #define CONFIG_SYS_PBI_FLASH_BASE		0xce000000
 | |
| #endif
 | |
| #define CONFIG_SYS_PBI_FLASH_WINDOW		0xcff80000
 | |
| 
 | |
| #if defined(CONFIG_B4860QDS) || \
 | |
| 	defined(CONFIG_T4240QDS) || \
 | |
| 	defined(CONFIG_T2080QDS) || \
 | |
| 	defined(CONFIG_T2080RDB) || \
 | |
| 	defined(CONFIG_T1040QDS) || \
 | |
| 	defined(CONFIG_T104xRDB) || \
 | |
| 	defined(CONFIG_PPC_T1023) || \
 | |
| 	defined(CONFIG_PPC_T1024)
 | |
| #define CONFIG_SYS_CPC_REINIT_F
 | |
| #undef CONFIG_SYS_INIT_L3_ADDR
 | |
| #define CONFIG_SYS_INIT_L3_ADDR			0xbff00000
 | |
| #endif
 | |
| 
 | |
| #endif
 | |
| #endif
 |