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 28