1e9084b23SNiklaus Giger /* 2e9084b23SNiklaus Giger * (C) Copyright 2008 3e9084b23SNiklaus Giger * Niklaus Giger, niklaus.giger@member.fsf.org 4e9084b23SNiklaus Giger * 5*1a459660SWolfgang Denk * SPDX-License-Identifier: GPL-2.0+ 6e9084b23SNiklaus Giger */ 7e9084b23SNiklaus Giger 8e9084b23SNiklaus Giger #ifndef _VXWORKS_H_ 9e9084b23SNiklaus Giger #define _VXWORKS_H_ 10e9084b23SNiklaus Giger 1154841ab5SWolfgang Denk int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]); 12e9084b23SNiklaus Giger 13e9084b23SNiklaus Giger /* 14e9084b23SNiklaus Giger * Use bootaddr to find the location in memory that VxWorks 15e9084b23SNiklaus Giger * will look for the bootline string. The default value for 16e9084b23SNiklaus Giger * PowerPC is LOCAL_MEM_LOCAL_ADRS + BOOT_LINE_OFFSET which 17e9084b23SNiklaus Giger * defaults to 0x4200 18e9084b23SNiklaus Giger */ 19e9084b23SNiklaus Giger #ifndef CONFIG_SYS_VXWORKS_BOOT_ADDR 20e9084b23SNiklaus Giger #define CONFIG_SYS_VXWORKS_BOOT_ADDR 0x4200 21e9084b23SNiklaus Giger #endif 22e9084b23SNiklaus Giger 23e9084b23SNiklaus Giger #ifndef CONFIG_SYS_VXWORKS_BOOT_DEVICE 24e9084b23SNiklaus Giger #if defined(CONFIG_4xx) 25e9084b23SNiklaus Giger #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "emac(0,0)" 26e9084b23SNiklaus Giger #else 27e9084b23SNiklaus Giger #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)" 28e9084b23SNiklaus Giger #endif 29e9084b23SNiklaus Giger #endif 30e9084b23SNiklaus Giger 31e9084b23SNiklaus Giger #ifndef CONFIG_SYS_VXWORKS_SERVERNAME 32268405faSWolfgang Denk #define CONFIG_SYS_VXWORKS_SERVERNAME "srv" 33e9084b23SNiklaus Giger #endif 34e9084b23SNiklaus Giger 35e9084b23SNiklaus Giger #endif 36