blob: 122043c941e9b17b41c6d10df4b8449aa18b458b [file] [log] [blame]
Niklaus Gigere9084b22008-11-03 22:14:36 +01001/*
2 * (C) Copyright 2008
3 * Niklaus Giger, niklaus.giger@member.fsf.org
4 *
Wolfgang Denk1a459662013-07-08 09:37:19 +02005 * SPDX-License-Identifier: GPL-2.0+
Niklaus Gigere9084b22008-11-03 22:14:36 +01006 */
7
8#ifndef _VXWORKS_H_
9#define _VXWORKS_H_
10
Wolfgang Denk54841ab2010-06-28 22:00:46 +020011int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
Miao Yan871a57b2013-11-28 17:51:38 +080012void boot_prep_vxworks(bootm_headers_t *images);
13void boot_jump_vxworks(bootm_headers_t *images);
14void do_bootvx_fdt(bootm_headers_t *images);
Niklaus Gigere9084b22008-11-03 22:14:36 +010015
16/*
17 * Use bootaddr to find the location in memory that VxWorks
18 * will look for the bootline string. The default value for
19 * PowerPC is LOCAL_MEM_LOCAL_ADRS + BOOT_LINE_OFFSET which
20 * defaults to 0x4200
21 */
22#ifndef CONFIG_SYS_VXWORKS_BOOT_ADDR
23#define CONFIG_SYS_VXWORKS_BOOT_ADDR 0x4200
24#endif
25
26#ifndef CONFIG_SYS_VXWORKS_BOOT_DEVICE
27#if defined(CONFIG_4xx)
28#define CONFIG_SYS_VXWORKS_BOOT_DEVICE "emac(0,0)"
Niklaus Gigere9084b22008-11-03 22:14:36 +010029#else
30#define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)"
31#endif
32#endif
33
34#ifndef CONFIG_SYS_VXWORKS_SERVERNAME
Wolfgang Denk268405f2008-12-09 00:24:30 +010035#define CONFIG_SYS_VXWORKS_SERVERNAME "srv"
Niklaus Gigere9084b22008-11-03 22:14:36 +010036#endif
37
38#endif