/* | |
* (C) Copyright 2013 Linaro | |
* Andre Przywara, <andre.przywara@linaro.org> | |
* | |
* Configuration for Versatile Express. Parts were derived from other ARM | |
* configurations. | |
* | |
* SPDX-License-Identifier: GPL-2.0+ | |
*/ | |
#ifndef __VEXPRESS_CA15X2_TC2_h | |
#define __VEXPRESS_CA15X2_TC2_h | |
#define CONFIG_VEXPRESS_EXTENDED_MEMORY_MAP | |
#include "vexpress_common.h" | |
#define CONFIG_SYSFLAGS_ADDR 0x1c010030 | |
#define CONFIG_SMP_PEN_ADDR CONFIG_SYSFLAGS_ADDR | |
#define CONFIG_ARMV7_PSCI_NR_CPUS 4 | |
#endif |