2010-12-15 17:02:08 +00:00
|
|
|
/*
|
|
|
|
* Copyright 2010-2011 Freescale Semiconductor, Inc.
|
|
|
|
*
|
2013-07-08 07:37:19 +00:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2010-12-15 17:02:08 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __FSL_SECURE_BOOT_H
|
|
|
|
#define __FSL_SECURE_BOOT_H
|
|
|
|
|
2013-08-21 06:20:21 +00:00
|
|
|
#ifdef CONFIG_SECURE_BOOT
|
2010-12-15 17:02:08 +00:00
|
|
|
#if defined(CONFIG_FSL_CORENET)
|
|
|
|
#define CONFIG_SYS_PBI_FLASH_BASE 0xc0000000
|
2014-03-11 18:37:27 +00:00
|
|
|
#elif defined(CONFIG_BSC9132QDS)
|
|
|
|
#define CONFIG_SYS_PBI_FLASH_BASE 0xc8000000
|
2010-12-15 17:02:08 +00:00
|
|
|
#else
|
|
|
|
#define CONFIG_SYS_PBI_FLASH_BASE 0xce000000
|
|
|
|
#endif
|
|
|
|
#define CONFIG_SYS_PBI_FLASH_WINDOW 0xcff80000
|
|
|
|
|
2014-03-18 18:10:59 +00:00
|
|
|
#if defined(CONFIG_B4860QDS) || \
|
|
|
|
defined(CONFIG_T4240QDS) || \
|
2014-03-18 18:11:14 +00:00
|
|
|
defined(CONFIG_T2080QDS) || \
|
|
|
|
defined(CONFIG_T1040QDS) || \
|
|
|
|
defined(CONFIG_T1040RDB)
|
2014-03-18 18:10:26 +00:00
|
|
|
#define CONFIG_SYS_CPC_REINIT_F
|
|
|
|
#undef CONFIG_SYS_INIT_L3_ADDR
|
|
|
|
#define CONFIG_SYS_INIT_L3_ADDR 0xbff00000
|
|
|
|
#endif
|
|
|
|
|
2010-12-15 17:02:08 +00:00
|
|
|
#endif
|
2013-08-21 06:20:21 +00:00
|
|
|
#endif
|