| Niklaus Giger | 2b37e18 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 1 | /* |
| 2 | * (C) Copyright 2008 |
| 3 | * Niklaus Giger, niklaus.giger@member.fsf.org |
| 4 | * |
| Wolfgang Denk | d79de1d | 2013-07-08 09:37:19 +0200 | [diff] [blame] | 5 | * SPDX-License-Identifier: GPL-2.0+ |
| Niklaus Giger | 2b37e18 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 6 | */ |
| 7 | |
| 8 | #ifndef _VXWORKS_H_ |
| 9 | #define _VXWORKS_H_ |
| 10 | |
| Wolfgang Denk | 6262d021 | 2010-06-28 22:00:46 +0200 | [diff] [blame] | 11 | int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]); |
| Niklaus Giger | 2b37e18 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 12 | |
| 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 Giger | 2b37e18 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 26 | #else |
| 27 | #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)" |
| 28 | #endif |
| 29 | #endif |
| 30 | |
| 31 | #ifndef CONFIG_SYS_VXWORKS_SERVERNAME |
| Wolfgang Denk | e6ce657 | 2008-12-09 00:24:30 +0100 | [diff] [blame] | 32 | #define CONFIG_SYS_VXWORKS_SERVERNAME "srv" |
| Niklaus Giger | 2b37e18 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 33 | #endif |
| 34 | |
| 35 | #endif |