--- /dev/null
+/*
+ * Hacked together,
+ * hopefully functional.
+ */
+
+#ifndef __CONFIG_H
+#define __CONFIG_H
+
+#define CONFIG_ARM1176 1 /* CPU */
+#define CONFIG_XDF 1 /* Board */
+#define CONFIG_DFE 1 /* Board sub-type ("flavor"?) */
+#define CONFIG_PELE 1 /* SoC? */
+
+/* Board: ZC770 with DC4 */
+#define CONFIG_ZC770_XM013
+
+#include "../board/xilinx/dfe/xparameters_zynq.h"
+
+/*
+ * Open Firmware flat tree
+ */
+#define CONFIG_OF_LIBFDT 1
+
+/* Default environment */
+#define CONFIG_IPADDR 10.10.70.102
+/* #define CONFIG_ETHADDR 00:0a:35:00:01:22 */
+#define CONFIG_SERVERIP 10.10.70.101
+
+#define CONFIG_EXTRA_ENV_SETTINGS \
+ "ethaddr=00:0a:35:00:01:22\0" \
+ "kernel_size=0x140000\0" \
+ "ramdisk_size=0x200000\0" \
+ "nand_kernel_size=0x400000\0" \
+ "nand_ramdisk_size=0x400000\0" \
+ "bootcmd=run modeboot\0" \
+ "norboot=echo Copying Linux from NOR flash to RAM...;" \
+ "cp 0xE2100000 0x8000 ${kernel_size};" \
+ "cp 0xE2600000 0x1000000 0x8000;" \
+ "echo Copying ramdisk...;" \
+ "cp 0xE3000000 0x800000 ${ramdisk_size};" \
+ "go 0x8000\0" \
+ "qspiboot=echo Copying Linux from QSPI flash to RAM...;" \
+ "cp 0xFC100000 0x8000 ${kernel_size};" \
+ "cp 0xFC600000 0x1000000 0x8000;" \
+ "echo Copying ramdisk...;" \
+ "cp 0xFC800000 0x800000 ${ramdisk_size};" \
+ "ping 10.10.70.101;" \
+ "go 0x8000\0" \
+ "sdboot=echo Copying Linux from SD to RAM...;" \
+ "mmcinfo;" \
+ "fatload mmc 0 0x8000 zImage;" \
+ "fatload mmc 0 0x1000000 devicetree.dtb;" \
+ "fatload mmc 0 0x800000 ramdisk8M.image.gz;" \
+ "ping 10.10.70.101;" \
+ "go 0x8000\0" \
+ "nandboot=echo Copying Linux from NAND flash to RAM...;" \
+ "nand read 0x8000 0x200000 ${nand_kernel_size};" \
+ "nand read 0x1000000 0x700000 0x20000;" \
+ "echo Copying ramdisk...;" \
+ "nand read 0x800000 0x900000 ${nand_ramdisk_size};" \
+ "go 0x8000\0" \
+ "jtagboot=echo TFTPing Linux to RAM...;" \
+ "tftp 0x8000 zImage;" \
+ "tftp 0x1000000 devicetree.dtb;" \
+ "tftp 0x800000 ramdisk8M.image.gz;" \
+ "go 0x8000\0"
+
+
+#undef CONFIG_PELE_XIL_LQSPI
+
+/* default boot is according to the bootmode switch settings */
+#define CONFIG_BOOTCOMMAND "run modeboot"
+
+#define CONFIG_BAUDRATE 115200
+#define CONFIG_SYS_BAUDRATE_TABLE { 9600, 38400, 115200 }
+#define CONFIG_BOOTDELAY 10 /* -1 to Disable autoboot */
+
+#define CONFIG_PSS_SERIAL
+#define CONFIG_RTC_XPSSRTC
+
+#include <config_cmd_default.h>
+#define CONFIG_CMD_DATE /* RTC? */
+#define CONFIG_CMD_PING /* Might be useful for debugging */
+#define CONFIG_CMD_SAVEENV /* Command to save ENV to Flash */
+#define CONFIG_REGINFO /* Again, debugging */
+#undef CONFIG_CMD_SETGETDCR /* README says 4xx only */
+
+#define CONFIG_TIMESTAMP /* print image timestamp on bootm, etc */
+
+/* IPADDR, SERVERIP */
+/* Need I2C for RTC? */
+
+#define CONFIG_IDENT_STRING "\nXilinx Pele Emulation Platform"
+#define CONFIG_PANIC_HANG 1 /* For development/debugging */
+
+#define CONFIG_AUTO_COMPLETE 1
+#define CONFIG_CMDLINE_EDITING 1
+
+#define CONFIG_SYS_PROMPT "pele-boot> "
+
+#undef CONFIG_SKIP_RELOCATE_UBOOT
+
+/* Uncomment it if you don't want Flash */
+/* #define CONFIG_SYS_NO_FLASH */
+
+#define CONFIG_SYS_SDRAM_BASE 0
+
+#define CONFIG_L2_OFF
+
+/* this is to initialize GEM at uboot start */
+/* #define CONFIG_PELE_INIT_GEM */
+/* this is to set ipaddr, ethaddr and serverip env variables. */
+#define CONFIG_PELE_IP_ENV
+
+
+#ifndef CONFIG_SYS_NO_FLASH
+
+/* FLASH organization */
+#define CONFIG_SYS_FLASH_BASE 0xE2000000
+#define CONFIG_SYS_FLASH_SIZE (16*1024*1024) /* i.e. 16MB */
+/* max number of memory banks */
+#define CONFIG_SYS_MAX_FLASH_BANKS 1
+/* max number of sectors/blocks on one chip */
+#define CONFIG_SYS_MAX_FLASH_SECT 512
+#define CONFIG_SYS_FLASH_ERASE_TOUT 1000
+#define CONFIG_SYS_FLASH_WRITE_TOUT 5000
+
+#define CONFIG_FLASH_SHOW_PROGRESS 10
+
+#define CONFIG_SYS_FLASH_CFI 1
+/* #define CONFIG_SYS_FLASH_EMPTY_INFO 0 */
+#define CONFIG_FLASH_CFI_DRIVER 1
+
+/* use hardware protection */
+#define CONFIG_SYS_FLASH_PROTECTION 0
+/* use buffered writes (20x faster) */
+#define CONFIG_SYS_FLASH_USE_BUFFER_WRITE
+/* #define CONFIG_ENV_ADDR (CONFIG_SYS_FLASH_BASE + 0x00000000) */
+#define CONFIG_ENV_OFFSET 0xC0000 /*768 KB*/
+#define CONFIG_ENV_SECT_SIZE 0x20000 /*128 KB*/
+#ifdef CONFIG_EP107
+# define CONFIG_ENV_IS_IN_FLASH 1
+#else
+# define CONFIG_ENV_IS_NOWHERE 1
+#endif
+#else
+
+#define CONFIG_ENV_IS_NOWHERE 1
+
+#endif
+
+/* CONFIG_SYS_MONITOR_BASE? */
+/* CONFIG_SYS_MONITOR_LEN? */
+
+#define CONFIG_SYS_CACHELINE_SIZE 32 /* Assuming bytes? */
+
+/* CONFIG_SYS_INIT_RAM_ADDR? */
+/* CONFIG_SYS_GLOBAL_DATA_OFFSET? */
+
+/* Because (at least at first) we're going to be loaded via JTAG_Tcl */
+/* #define CONFIG_SKIP_LOWLEVEL_INIT */
+
+
+/* HW to use */
+#define CONFIG_XDF_UART 1
+#define CONFIG_XDF_ETH 1
+#define CONFIG_XDF_RTC 1
+#define CONFIG_TTC0 1
+
+#define TIMER_INPUT_CLOCK (XPAR_CPU_CORTEXA9_CORE_CLOCK_FREQ_HZ / 2)
+#define CONFIG_TIMER_PRESCALE 255
+#define TIMER_TICK_HZ (TIMER_INPUT_CLOCK / CONFIG_TIMER_PRESCALE)
+#define CONFIG_SYS_HZ 1000
+
+/* And here... */
+#define CONFIG_SYS_LOAD_ADDR 0 /* default? */
+/* Semi-educated guess based on p.48 of DF Arch spec */
+#define PHYS_SDRAM_1 (256 * 1024)
+/* Cameron guessed 256 or 512 MB */
+#define PHYS_SDRAM_1_SIZE (256 * 1024 * 1024)
+
+#define CONFIG_SYS_MEMTEST_START PHYS_SDRAM_1
+#define CONFIG_SYS_MEMTEST_END (CONFIG_SYS_MEMTEST_START + 0x10000)
+
+/*
+ * These were lifted straight from imx31_phycore, and may well be very wrong.
+ */
+/* #define CONFIG_ENV_SIZE 4096 */
+#define CONFIG_ENV_SIZE 0x10000
+#define CONFIG_NR_DRAM_BANKS 1
+#define CONFIG_SYS_MALLOC_LEN 0x400000
+#define CONFIG_SYS_GBL_DATA_SIZE 128
+#define CONFIG_SYS_MAXARGS 16
+#define CONFIG_SYS_CBSIZE 256
+#define CONFIG_SYS_PBSIZE (CONFIG_SYS_CBSIZE+ \
+ sizeof(CONFIG_SYS_PROMPT)+16) /* phycore */
+
+/*
+ * SPI Settings
+ */
+#define CONFIG_CMD_SPI
+#define CONFIG_ENV_SPI_MAX_HZ 30000000
+#define CONFIG_SF_DEFAULT_SPEED 30000000
+#define CONFIG_SPI_FLASH
+#define CONFIG_CMD_SF
+/* #define CONFIG_XILINX_PSS_QSPI_USE_DUAL_FLASH */
+#ifdef CONFIG_ZC770_XM013
+#define CONFIG_SPI_FLASH_SPANSION
+#define CONFIG_GEM1 1
+#define CONFIG_UART0 1
+#endif
+
+/*
+ * NAND Flash settings
+ */
+#if defined(CONFIG_ZC770_XM011) || defined(CONFIG_ZC770_XM010_XM011)
+#define CONFIG_CMD_NAND
+#define CONFIG_CMD_NAND_LOCK_UNLOCK
+#define CONFIG_SYS_MAX_NAND_DEVICE 1
+#define CONFIG_SYS_NAND_BASE XPSS_NAND_BASEADDR
+#define CONFIG_MTD_DEVICE
+#endif
+
+/* Place a Xilinx Boot ROM header in u-boot image? */
+#define CONFIG_PELE_XILINX_FLASH_HEADER
+
+#ifdef CONFIG_PELE_XILINX_FLASH_HEADER
+/* Address Xilinx boot rom should use to launch u-boot */
+#ifdef CONFIG_PELE_XIL_LQSPI
+#define CONFIG_PELE_XIP_START XPSS_QSPI_LIN_BASEADDR
+#else
+/* NOR */
+#define CONFIG_PELE_XIP_START CONFIG_SYS_FLASH_BASE
+#endif
+#endif
+
+/* Secure Digital */
+#define CONFIG_MMC 1
+
+#ifdef CONFIG_MMC
+#define CONFIG_GENERIC_MMC
+#define CONFIG_CMD_MMC
+#define CONFIG_CMD_FAT
+#define CONFIG_CMD_EXT2
+#define CONFIG_DOS_PARTITION
+#endif
+
+#define BOARD_LATE_INIT 1
+
+#endif /* __CONFIG_H */