/*
|
* (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
|
|
#endif
|
