/*
   * (C) Copyright 2011 Linaro
   * Ryan Harkin, <ryan.harkin@linaro.org>
   *
   * Configuration for Versatile Express. Parts were derived from other ARM
   *   configurations.
   *

   * SPDX-License-Identifier:	GPL-2.0+

   */
  
  #ifndef __VEXPRESS_CA9X4_H
  #define __VEXPRESS_CA9X4_H
  
  #define CONFIG_VEXPRESS_ORIGINAL_MEMORY_MAP

  #include "vexpress_common.h"

  
  #endif /* VEXPRESS_CA9X4_H */