2 * U-boot - bootm.c - misc boot helper functions
4 * Copyright (c) 2005-2008 Analog Devices Inc.
6 * (C) Copyright 2000-2004
7 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
9 * Licensed under the GPL-2 or later.
15 #include <asm/blackfin.h>
17 extern int do_reset (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]);
19 #ifdef SHARED_RESOURCES
20 extern void swap_to(int device_id);
23 static char *make_command_line(void)
25 char *dest = (char *)CMD_LINE_ADDR;
26 char *bootargs = getenv("bootargs");
31 strncpy(dest, bootargs, 0x1000);
36 void do_bootm_linux(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[],
37 bootm_headers_t *images)
39 int (*appl) (char *cmdline);
42 #ifdef SHARED_RESOURCES
46 appl = (int (*)(char *))images->ep;
48 printf("Starting Kernel at = %x\n", appl);
49 cmdline = make_command_line();
57 do_reset (cmdtp, flag, argc, argv);