1 /* 2 * (C) Copyright 2007 Michal Simek 3 * (C) Copyright 2004 Atmark Techno, Inc. 4 * 5 * Michal SIMEK <monstr@monstr.eu> 6 * Yasushi SHOJI <yashi@atmark-techno.com> 7 * 8 * See file CREDITS for list of people who contributed to this 9 * project. 10 * 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. 15 * 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. 20 * 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, 24 * MA 02111-1307 USA 25 */ 26 27 #include <common.h> 28 #include <command.h> 29 #include <image.h> 30 #include <u-boot/zlib.h> 31 #include <asm/byteorder.h> 32 33 DECLARE_GLOBAL_DATA_PTR; 34 35 int do_bootm_linux(int flag, int argc, char * const argv[], bootm_headers_t *images) 36 { 37 /* First parameter is mapped to $r5 for kernel boot args */ 38 void (*theKernel) (char *, ulong, ulong); 39 char *commandline = getenv ("bootargs"); 40 ulong rd_data_start, rd_data_end; 41 42 if ((flag != 0) && (flag != BOOTM_STATE_OS_GO)) 43 return 1; 44 45 int ret; 46 47 char *of_flat_tree = NULL; 48 #if defined(CONFIG_OF_LIBFDT) 49 /* did generic code already find a device tree? */ 50 if (images->ft_len) 51 of_flat_tree = images->ft_addr; 52 #endif 53 54 theKernel = (void (*)(char *, ulong, ulong))images->ep; 55 56 /* find ramdisk */ 57 ret = boot_get_ramdisk (argc, argv, images, IH_ARCH_MICROBLAZE, 58 &rd_data_start, &rd_data_end); 59 if (ret) 60 return 1; 61 62 show_boot_progress (15); 63 64 if (!of_flat_tree && argc > 3) 65 of_flat_tree = (char *)simple_strtoul(argv[3], NULL, 16); 66 #ifdef DEBUG 67 printf ("## Transferring control to Linux (at address 0x%08lx) " \ 68 "ramdisk 0x%08lx, FDT 0x%08lx...\n", 69 (ulong) theKernel, rd_data_start, (ulong) of_flat_tree); 70 #endif 71 72 #ifdef XILINX_USE_DCACHE 73 #ifdef XILINX_DCACHE_BYTE_SIZE 74 flush_cache(0, XILINX_DCACHE_BYTE_SIZE); 75 #else 76 #warning please rebuild BSPs and update configuration 77 flush_cache(0, 32768); 78 #endif 79 #endif 80 /* 81 * Linux Kernel Parameters (passing device tree): 82 * r5: pointer to command line 83 * r6: pointer to ramdisk 84 * r7: pointer to the fdt, followed by the board info data 85 */ 86 theKernel (commandline, rd_data_start, (ulong) of_flat_tree); 87 /* does not return */ 88 89 return 1; 90 } 91