1/* 2 * Copyright (C) 2017, Intel Corporation 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6#ifndef __CONFIG_TERASIC_DE10_H__ 7#define __CONFIG_TERASIC_DE10_H__ 8 9#include <asm/arch/base_addr_ac5.h> 10 11#define CONFIG_HW_WATCHDOG 12 13/* Memory configurations */ 14#define PHYS_SDRAM_1_SIZE 0x40000000 /* 1GiB */ 15 16/* Booting Linux */ 17#define CONFIG_LOADADDR 0x01000000 18#define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR 19 20/* Ethernet on SoC (EMAC) */ 21 22/* The rest of the configuration is shared */ 23#include <configs/socfpga_common.h> 24 25#endif /* __CONFIG_TERASIC_DE10_H__ */ 26