1 /* 2 * (C) Copyright 2008 3 * Niklaus Giger, niklaus.giger@member.fsf.org 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8 #ifndef _VXWORKS_H_ 9 #define _VXWORKS_H_ 10 11 int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]); 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)" 26 #else 27 #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)" 28 #endif 29 #endif 30 31 #ifndef CONFIG_SYS_VXWORKS_SERVERNAME 32 #define CONFIG_SYS_VXWORKS_SERVERNAME "srv" 33 #endif 34 35 #endif 36