blob: c5d1577f9cb51bfdcde210ae8a328efb5791089f [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[]);
Niklaus Gigere9084b22008-11-03 22:14:36 +010012
13/*
14 * Use bootaddr to find the location in memory that VxWorks
15 * will look for the bootline string. The default value for
16 * PowerPC is LOCAL_MEM_LOCAL_ADRS + BOOT_LINE_OFFSET which
17 * defaults to 0x4200
18 */
19#ifndef CONFIG_SYS_VXWORKS_BOOT_ADDR
20#define CONFIG_SYS_VXWORKS_BOOT_ADDR 0x4200
21#endif
22
23#ifndef CONFIG_SYS_VXWORKS_BOOT_DEVICE
24#if defined(CONFIG_4xx)
25#define CONFIG_SYS_VXWORKS_BOOT_DEVICE "emac(0,0)"
Niklaus Gigere9084b22008-11-03 22:14:36 +010026#else
27#define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)"
28#endif
29#endif
30
31#ifndef CONFIG_SYS_VXWORKS_SERVERNAME
Wolfgang Denk268405f2008-12-09 00:24:30 +010032#define CONFIG_SYS_VXWORKS_SERVERNAME "srv"
Niklaus Gigere9084b22008-11-03 22:14:36 +010033#endif
34
35#endif