| /* SPDX-License-Identifier: GPL-2.0+ */ | |
| /* | |
| * Copyright 2009-2011 Freescale Semiconductor, Inc. | |
| */ | |
| /* | |
| * P4080 DS board configuration file | |
| * Also supports P4040 DS | |
| */ | |
| #define CONFIG_FSL_NGPIXIS /* use common ngPIXIS code */ | |
| #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 33333000 /* ICS307 ref clk freq */ | |
| #include "corenet_ds.h" |