871a57bb81
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>
39 lines
958 B
C
39 lines
958 B
C
/*
|
|
* (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[]);
|
|
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
|