socfpga_is1.h 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. /*
  2. * Copyright (C) 2014 Marek Vasut <marex@denx.de>
  3. * Copyright (C) 2016 Pavel Machek <pavel@denx.de>
  4. *
  5. * SPDX-License-Identifier: GPL-2.0+
  6. */
  7. #ifndef __CONFIG_SOCFPGA_IS1_H__
  8. #define __CONFIG_SOCFPGA_IS1_H__
  9. #include <asm/arch/base_addr_ac5.h>
  10. /* U-Boot Commands */
  11. #define CONFIG_SYS_NO_FLASH
  12. #define CONFIG_DOS_PARTITION
  13. #define CONFIG_FAT_WRITE
  14. #define CONFIG_HW_WATCHDOG
  15. /* Memory configurations */
  16. #define PHYS_SDRAM_1_SIZE 0x10000000
  17. /* Booting Linux */
  18. #define CONFIG_BOOTFILE "zImage"
  19. #define CONFIG_BOOTARGS "console=ttyS0," __stringify(CONFIG_BAUDRATE)
  20. #define CONFIG_LOADADDR 0x01000000
  21. #define CONFIG_SYS_LOAD_ADDR CONFIG_LOADADDR
  22. #define CONFIG_ENV_IS_IN_SPI_FLASH
  23. /* Ethernet on SoC (EMAC) */
  24. #if defined(CONFIG_CMD_NET)
  25. #define CONFIG_ARP_TIMEOUT 500UL
  26. /* PHY */
  27. #define CONFIG_PHY_MICREL
  28. #define CONFIG_PHY_MICREL_KSZ9021
  29. #endif
  30. /* The rest of the configuration is shared */
  31. #include <configs/socfpga_common.h>
  32. /*
  33. * Bootcounter
  34. */
  35. #define CONFIG_BOOTCOUNT_LIMIT
  36. /* last 2 lwords in OCRAM */
  37. #define CONFIG_SYS_BOOTCOUNT_ADDR 0xfffffff8
  38. #define CONFIG_SYS_BOOTCOUNT_BE
  39. #endif /* __CONFIG_SOCFPGA_IS1_H__ */