MIPS: convert CONFIG_SYS_MIPS_TIMER_FREQ to Kconfig
[platform/kernel/u-boot.git] / include / configs / socfpga_agilex_socdk.h
1 /* SPDX-License-Identifier: GPL-2.0
2  *
3  * Copyright (C) 2019 Intel Corporation <www.intel.com>
4  *
5  */
6
7 #ifndef __CONFIG_SOCFGPA_AGILEX_H__
8 #define __CONFIG_SOCFGPA_AGILEX_H__
9
10 #include <configs/socfpga_soc64_common.h>
11
12 #endif  /* __CONFIG_SOCFGPA_AGILEX_H__ */