]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * U-boot - bootm.c - misc boot helper functions | |
3 | * | |
4 | * Copyright (c) 2005-2008 Analog Devices Inc. | |
5 | * | |
6 | * (C) Copyright 2000-2004 | |
7 | * Wolfgang Denk, DENX Software Engineering, wd@denx.de. | |
8 | * | |
9 | * Licensed under the GPL-2 or later. | |
10 | */ | |
11 | ||
12 | #include <common.h> | |
13 | #include <command.h> | |
14 | #include <image.h> | |
15 | #include <asm/blackfin.h> | |
16 | ||
17 | #ifdef SHARED_RESOURCES | |
18 | extern void swap_to(int device_id); | |
19 | #endif | |
20 | ||
21 | static char *make_command_line(void) | |
22 | { | |
23 | char *dest = (char *)CMD_LINE_ADDR; | |
24 | char *bootargs = getenv("bootargs"); | |
25 | ||
26 | if (bootargs == NULL) | |
27 | return NULL; | |
28 | ||
29 | strncpy(dest, bootargs, 0x1000); | |
30 | dest[0xfff] = 0; | |
31 | return dest; | |
32 | } | |
33 | ||
34 | int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images) | |
35 | { | |
36 | int (*appl) (char *cmdline); | |
37 | char *cmdline; | |
38 | ||
39 | #ifdef SHARED_RESOURCES | |
40 | swap_to(FLASH); | |
41 | #endif | |
42 | ||
43 | appl = (int (*)(char *))images->ep; | |
44 | ||
45 | printf("Starting Kernel at = %x\n", appl); | |
46 | cmdline = make_command_line(); | |
47 | icache_disable(); | |
48 | dcache_disable(); | |
49 | (*appl) (cmdline); | |
50 | /* does not return */ | |
51 | error: | |
52 | return 1; | |
53 | } |