socfpga_is1.h 730 B

1234567891011121314151617181920212223242526272829303132
  1. /* SPDX-License-Identifier: GPL-2.0+ */
  2. /*
  3. * Copyright (C) 2014 Marek Vasut <marex@denx.de>
  4. * Copyright (C) 2016 Pavel Machek <pavel@denx.de>
  5. */
  6. #ifndef __CONFIG_SOCFPGA_IS1_H__
  7. #define __CONFIG_SOCFPGA_IS1_H__
  8. #include <asm/arch/base_addr_ac5.h>
  9. /* Memory configurations */
  10. #define PHYS_SDRAM_1_SIZE 0x10000000
  11. /* Booting Linux */
  12. #define CONFIG_BOOTFILE "zImage"
  13. #define CONFIG_LOADADDR 0x01000000
  14. #define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
  15. /* Ethernet on SoC (EMAC) */
  16. #if defined(CONFIG_CMD_NET)
  17. #define CONFIG_ARP_TIMEOUT 500UL
  18. #endif
  19. /* The rest of the configuration is shared */
  20. #include <configs/socfpga_common.h>
  21. /*
  22. * Bootcounter
  23. */
  24. #define CONFIG_SYS_BOOTCOUNT_BE
  25. #endif /* __CONFIG_SOCFPGA_IS1_H__ */