/*
   * Copyright 2009-2011 Freescale Semiconductor, Inc.
   *
   * SPDX-License-Identifier:	GPL-2.0+
   */
  
  /*
   * P5020 DS board configuration file
   * Also supports P5010 DS
   */
  #define CONFIG_FSL_NGPIXIS		/* use common ngPIXIS code */
  
  #define CONFIG_NAND_FSL_ELBC
  #define CONFIG_FSL_SATA_V2
  #define CONFIG_PCIE3
  #define CONFIG_PCIE4
  #define CONFIG_SYS_FSL_RAID_ENGINE
  #define CONFIG_SYS_DPAA_RMAN
  
  #define CONFIG_SYS_SRIO
  #define CONFIG_SRIO1			/* SRIO port 1 */
  #define CONFIG_SRIO2			/* SRIO port 2 */
  #define CONFIG_SRIO_PCIE_BOOT_MASTER
  #define CONFIG_ICS307_REFCLK_HZ		25000000  /* ICS307 ref clk freq */
  
  #include "corenet_ds.h"