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 * See file CREDITS for list of people who contributed to this
11 * This program is free software; you can redistribute it and/or
12 * modify it under the terms of the GNU General Public License as
13 * published by the Free Software Foundation; either version 2 of
14 * the License, or (at your option) any later version.
16 * This program is distributed in the hope that it will be useful,
17 * but WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 * GNU General Public License for more details.
21 * You should have received a copy of the GNU General Public License
22 * along with this program; if not, write to the Free Software
23 * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
30 #include <u-boot/zlib.h>
31 #include <asm/byteorder.h>
33 DECLARE_GLOBAL_DATA_PTR;
35 int do_bootm_linux(int flag, int argc, char * const argv[],
36 bootm_headers_t *images)
38 /* First parameter is mapped to $r5 for kernel boot args */
39 void (*thekernel) (char *, ulong, ulong);
40 char *commandline = getenv("bootargs");
41 ulong rd_data_start, rd_data_end;
43 if ((flag != 0) && (flag != BOOTM_STATE_OS_GO))
48 char *of_flat_tree = NULL;
49 #if defined(CONFIG_OF_LIBFDT)
50 /* did generic code already find a device tree? */
52 of_flat_tree = images->ft_addr;
55 thekernel = (void (*)(char *, ulong, ulong))images->ep;
58 ret = boot_get_ramdisk(argc, argv, images, IH_ARCH_MICROBLAZE,
59 &rd_data_start, &rd_data_end);
63 bootstage_mark(BOOTSTAGE_ID_RUN_OS);
65 if (!of_flat_tree && argc > 3)
66 of_flat_tree = (char *)simple_strtoul(argv[3], NULL, 16);
68 /* fixup the initrd now that we know where it should be */
69 if (images->rd_start && images->rd_end && of_flat_tree)
70 ret = fdt_initrd(of_flat_tree, images->rd_start,
76 printf("## Transferring control to Linux (at address 0x%08lx) ",
78 printf("ramdisk 0x%08lx, FDT 0x%08lx...\n",
79 rd_data_start, (ulong) of_flat_tree);
82 #ifdef XILINX_USE_DCACHE
83 flush_cache(0, XILINX_DCACHE_BYTE_SIZE);
86 * Linux Kernel Parameters (passing device tree):
87 * r5: pointer to command line
88 * r6: pointer to ramdisk
89 * r7: pointer to the fdt, followed by the board info data
91 thekernel(commandline, rd_data_start, (ulong)of_flat_tree);