if ((flag != 0) && (flag != BOOTM_STATE_OS_GO))
return 1;
+/* HACK BHILL FIXME */
+#if defined(CONFIG_OF_LIBFDT)
+ int ret;
+ char *of_flat_tree = NULL;
+ ulong of_size = 0;
+
+ /* find flattened device tree */
+ ret = boot_get_fdt (flag, argc, argv, images, &of_flat_tree, &of_size);
+ if (ret) {
+ printf("Error getting device tree: 0x%x\n", ret);
+ return 1;
+ } else {
+ printf("Using device tree at: 0x%08x\n", (unsigned)of_flat_tree);
+ }
+#endif
+
theKernel = (void (*)(int, int, uint))images->ep;
s = getenv ("machid");
cleanup_before_linux ();
+#if defined(CONFIG_OF_LIBFDT)
+ theKernel (0, machid, of_flat_tree);
+#else
theKernel (0, machid, bd->bi_boot_params);
+#endif
/* does not return */
return 1;
#include "../board/xilinx/dfe/xparameters.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