|
|
|
/*
|
|
|
|
* (C) Copyright 2008
|
|
|
|
* Niklaus Giger, niklaus.giger@member.fsf.org
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _VXWORKS_H_
|
|
|
|
#define _VXWORKS_H_
|
|
|
|
|
|
|
|
int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
|
common/cmd_bootm: extend do_bootm_vxworks to support the new VxWorks boot interface.
The next version VxWorks adopts device tree (for PowerPC and ARM) as its hardware
description mechanism. For PowerPC, the boot interface conforms to
the ePAPR standard, which is:
void (*kernel_entry)(ulong fdt_addr,
ulong r4 /* 0 */,
ulong r5 /* 0 */,
ulong r6 /* EPAPR_MAGIC */, ulong r7 /* IMA size */,
ulong r8 /* 0 */, ulong r9 /* 0 */)
For ARM, the boot interface is:
void (*kernel_entry)(void *fdt_addr)
Signed-off-by: Miao Yan <miao.yan@windriver.com>
[trini: Fix build error when !CONFIG_OF_FDT is set, typo on PowerPC,
missing extern ft_fixup_num_cores]
Signed-off-by: Tom Rini <trini@ti.com>
11 years ago
|
|
|
void boot_prep_vxworks(bootm_headers_t *images);
|
|
|
|
void boot_jump_vxworks(bootm_headers_t *images);
|
|
|
|
void do_bootvx_fdt(bootm_headers_t *images);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Use bootaddr to find the location in memory that VxWorks
|
|
|
|
* will look for the bootline string. The default value for
|
|
|
|
* PowerPC is LOCAL_MEM_LOCAL_ADRS + BOOT_LINE_OFFSET which
|
|
|
|
* defaults to 0x4200
|
|
|
|
*/
|
|
|
|
#ifndef CONFIG_SYS_VXWORKS_BOOT_ADDR
|
|
|
|
#define CONFIG_SYS_VXWORKS_BOOT_ADDR 0x4200
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifndef CONFIG_SYS_VXWORKS_BOOT_DEVICE
|
|
|
|
#if defined(CONFIG_4xx)
|
|
|
|
#define CONFIG_SYS_VXWORKS_BOOT_DEVICE "emac(0,0)"
|
|
|
|
#else
|
|
|
|
#define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)"
|
|
|
|
#endif
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifndef CONFIG_SYS_VXWORKS_SERVERNAME
|
|
|
|
#define CONFIG_SYS_VXWORKS_SERVERNAME "srv"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|