2 * (C) Copyright 2007 Michal Simek
4 * Michal SIMEK <monstr@monstr.eu>
6 * SPDX-License-Identifier: GPL-2.0+
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.
14 #define XILINX_BOARD_NAME microblaze-generic
16 /* System Clock Frequency */
17 #define XILINX_CLOCK_FREQ 100000000
19 /* Microblaze is microblaze_0 */
20 #define XILINX_USE_MSR_INSTR 1
21 #define XILINX_FSL_NUMBER 3
23 /* Interrupt controller is opb_intc_0 */
24 #define XILINX_INTC_BASEADDR 0x41200000
25 #define XILINX_INTC_NUM_INTR_INPUTS 6
27 /* Timer pheriphery is opb_timer_1 */
28 #define XILINX_TIMER_BASEADDR 0x41c00000
29 #define XILINX_TIMER_IRQ 0
31 /* GPIO is LEDs_4Bit*/
32 #define XILINX_GPIO_BASEADDR 0x40000000
34 /* Flash Memory is FLASH_2Mx32 */
35 #define XILINX_FLASH_START 0x2c000000
36 #define XILINX_FLASH_SIZE 0x00800000
38 /* Watchdog IP is wxi_timebase_wdt_0 */
39 #define XILINX_WATCHDOG_BASEADDR 0x50000000
40 #define XILINX_WATCHDOG_IRQ 1