include/configs/P4080DS.h

   1 /*
   2  * Copyright 2009-2011 Freescale Semiconductor, Inc.
   3  *
   4  * SPDX-License-Identifier:     GPL-2.0+
   5  */
   6
   7 /*
   8  * P4080 DS board configuration file
   9  * Also supports P4040 DS
  10  */
  11 #define CONFIG_P4080DS
  12 #define CONFIG_PHYS_64BIT
  13 #define CONFIG_PPC_P4080
  14
  15 #define CONFIG_FSL_NGPIXIS              /* use common ngPIXIS code */
  16
  17 #define CONFIG_MMC
  18 #define CONFIG_PCIE3
  19
  20 #define CONFIG_SYS_SRIO
  21 #define CONFIG_SRIO1                    /* SRIO port 1 */
  22 #define CONFIG_SRIO2                    /* SRIO port 2 */
  23 #define CONFIG_SRIO_PCIE_BOOT_MASTER
  24 #define CONFIG_ICS307_REFCLK_HZ         33333000  /* ICS307 ref clk freq */
  25
  26 #include "corenet_ds.h"