xparameters.h 759 B

12345678910111213141516171819202122232425262728
  1. /*
  2. * (C) Copyright 2007 Michal Simek
  3. *
  4. * Michal SIMEK <monstr@monstr.eu>
  5. *
  6. * SPDX-License-Identifier: GPL-2.0+
  7. *
  8. * CAUTION: This file is a faked configuration !!!
  9. * There is no real target for the microblaze-generic
  10. * configuration. You have to replace this file with
  11. * the generated file from your Xilinx design flow.
  12. */
  13. #define XILINX_BOARD_NAME microblaze-generic
  14. /* Microblaze is microblaze_0 */
  15. #define XILINX_FSL_NUMBER 3
  16. /* GPIO is LEDs_4Bit*/
  17. #define XILINX_GPIO_BASEADDR 0x40000000
  18. /* Flash Memory is FLASH_2Mx32 */
  19. #define XILINX_FLASH_START 0x2c000000
  20. #define XILINX_FLASH_SIZE 0x00800000
  21. /* Watchdog IP is wxi_timebase_wdt_0 */
  22. #define XILINX_WATCHDOG_BASEADDR 0x50000000
  23. #define XILINX_WATCHDOG_IRQ 1