| /* |
| * (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_BOOTP_VCI_STRING "U-boot.armv7.vexpress_ca15x2_tc2" |
| |
| #define CONFIG_SYSFLAGS_ADDR 0x1c010030 |
| #define CONFIG_SMP_PEN_ADDR CONFIG_SYSFLAGS_ADDR |
| |
| #define CONFIG_ARMV7_VIRT |
| |
| #endif |