1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * (C) Copyright 2011 Linaro
4  * Ryan Harkin, <ryan.harkin@linaro.org>
5  *
6  * Configuration for Versatile Express. Parts were derived from other ARM
7  *   configurations.
8  */
9 
10 #ifndef __VEXPRESS_CA9X4_H
11 #define __VEXPRESS_CA9X4_H
12 
13 #define CONFIG_VEXPRESS_ORIGINAL_MEMORY_MAP
14 #include "vexpress_common.h"
15 
16 #endif /* VEXPRESS_CA9X4_H */
17