#ifndef _ASM_ARCH_HARDWARE_H
#define _ASM_ARCH_HARDWARE_H
-/* Generic Interrupt Controller Definitions */
-#define GICD_BASE 0xFD3FF000
-#define GICC_BASE 0xFD3FE100
-
#define ZYNQ_SERIAL_BASEADDR0 0xFF000000
#define ZYNQ_SERIAL_BASEADDR1 0xFF001000
#ifndef __XILINX_ULTRASCALE_H
#define __XILINX_ULTRASCALE_H
-#include <asm/arch/hardware.h>
-
#define CONFIG_REMAKE_ELF
/* #define CONFIG_ARMV8_SWITCH_TO_EL1 */
#define XILINX_ULTRASCALE
+/* Generic Interrupt Controller Definitions */
+#define GICD_BASE 0xFD3FF000
+#define GICC_BASE 0xFD3FE100
+
/* Physical Memory Map */
#define CONFIG_NR_DRAM_BANKS 1
#define CONFIG_SYS_SDRAM_BASE 0