blob: c74b5d67fe57c6aafe3f52f14ebfbba6af5c0b6c [file] [log] [blame]
wdenk5c952cf2004-10-10 21:27:30 +00001/*
2 * (C) Copyright 2003, Psyent Corporation <www.psyent.com>
3 * Scott McNutt <smcnutt@psyent.com>
4 *
5 * See file CREDITS for list of people who contributed to this
6 * project.
7 *
8 * This program is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License as
10 * published by the Free Software Foundation; either version 2 of
11 * the License, or (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License
19 * along with this program; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
21 * MA 02111-1307 USA
22 */
23
24#include <common.h>
25#include <command.h>
wdenk0c1c117c2005-03-30 23:28:18 +000026#include <asm/byteorder.h>
wdenk5c952cf2004-10-10 21:27:30 +000027
Marian Balakowiczd5934ad2008-02-04 08:28:09 +010028extern int do_reset (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]);
29
wdenk5c952cf2004-10-10 21:27:30 +000030void do_bootm_linux(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[],
Marian Balakowicz8a5ea3e2008-02-27 11:01:04 +010031 bootm_headers_t *images)
wdenk5c952cf2004-10-10 21:27:30 +000032{
Kumar Galac160a952008-08-15 08:24:36 -050033 void (*kernel)(void) = (void (*)(void))images->ep;
wdenk0c1c117c2005-03-30 23:28:18 +000034
35 /* For now we assume the Microtronix linux ... which only
36 * needs to be called ;-)
37 */
38 kernel ();
Marian Balakowiczcd7c5962008-03-12 10:33:00 +010039 /* does not return */
40 return;
41
42error:
Kumar Gala3216ca92008-08-11 09:20:53 -050043 do_reset (cmdtp, flag, argc, argv);
Marian Balakowiczcd7c5962008-03-12 10:33:00 +010044 return;
wdenk5c952cf2004-10-10 21:27:30 +000045}