board/xilinx/microblaze-generic/xparameters.h

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