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 
14 #define XILINX_BOARD_NAME	microblaze-generic
15 
16 /* Microblaze is microblaze_0 */
17 #define XILINX_USE_MSR_INSTR	1
18 #define XILINX_FSL_NUMBER	3
19 
20 /* GPIO is LEDs_4Bit*/
21 #define XILINX_GPIO_BASEADDR	0x40000000
22 
23 /* Flash Memory is FLASH_2Mx32 */
24 #define XILINX_FLASH_START	0x2c000000
25 #define XILINX_FLASH_SIZE	0x00800000
26 
27 /* Watchdog IP is wxi_timebase_wdt_0 */
28 #define XILINX_WATCHDOG_BASEADDR	0x50000000
29 #define XILINX_WATCHDOG_IRQ		1
30