2 * (C) Copyright 2007 Michal Simek
3 * (C) Copyright 2004 Atmark Techno, Inc.
5 * Michal SIMEK <monstr@monstr.eu>
6 * Yasushi SHOJI <yashi@atmark-techno.com>
8 * SPDX-License-Identifier: GPL-2.0+
13 #include <fdt_support.h>
15 #include <u-boot/zlib.h>
16 #include <asm/byteorder.h>
18 DECLARE_GLOBAL_DATA_PTR;
20 int arch_fixup_fdt(void *blob)
25 int do_bootm_linux(int flag, int argc, char * const argv[],
26 bootm_headers_t *images)
28 /* First parameter is mapped to $r5 for kernel boot args */
29 void (*thekernel) (char *, ulong, ulong);
30 char *commandline = getenv("bootargs");
31 ulong rd_data_start, rd_data_end;
34 * allow the PREP bootm subcommand, it is required for bootm to work
36 if (flag & BOOTM_STATE_OS_PREP)
39 if ((flag != 0) && (flag != BOOTM_STATE_OS_GO))
44 char *of_flat_tree = NULL;
45 #if defined(CONFIG_OF_LIBFDT)
46 /* did generic code already find a device tree? */
48 of_flat_tree = images->ft_addr;
51 thekernel = (void (*)(char *, ulong, ulong))images->ep;
54 ret = boot_get_ramdisk(argc, argv, images, IH_ARCH_MICROBLAZE,
55 &rd_data_start, &rd_data_end);
59 bootstage_mark(BOOTSTAGE_ID_RUN_OS);
61 if (!of_flat_tree && argc > 1)
62 of_flat_tree = (char *)simple_strtoul(argv[1], NULL, 16);
64 /* fixup the initrd now that we know where it should be */
65 if (images->rd_start && images->rd_end && of_flat_tree)
66 ret = fdt_initrd(of_flat_tree, images->rd_start,
72 printf("## Transferring control to Linux (at address 0x%08lx) ",
74 printf("ramdisk 0x%08lx, FDT 0x%08lx...\n",
75 rd_data_start, (ulong) of_flat_tree);
78 #ifdef XILINX_USE_DCACHE
79 flush_cache(0, XILINX_DCACHE_BYTE_SIZE);
82 * Linux Kernel Parameters (passing device tree):
83 * r5: pointer to command line
84 * r6: pointer to ramdisk
85 * r7: pointer to the fdt, followed by the board info data
87 thekernel(commandline, rd_data_start, (ulong)of_flat_tree);