1e9084b23SNiklaus Giger /* 2e9084b23SNiklaus Giger * (C) Copyright 2008 3e9084b23SNiklaus Giger * Niklaus Giger, niklaus.giger@member.fsf.org 4e9084b23SNiklaus Giger * 51a459660SWolfgang 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[]); 12*871a57bbSMiao Yan void boot_prep_vxworks(bootm_headers_t *images); 13*871a57bbSMiao Yan void boot_jump_vxworks(bootm_headers_t *images); 14*871a57bbSMiao Yan void do_bootvx_fdt(bootm_headers_t *images); 15e9084b23SNiklaus Giger 16e9084b23SNiklaus Giger /* 17e9084b23SNiklaus Giger * Use bootaddr to find the location in memory that VxWorks 18e9084b23SNiklaus Giger * will look for the bootline string. The default value for 19e9084b23SNiklaus Giger * PowerPC is LOCAL_MEM_LOCAL_ADRS + BOOT_LINE_OFFSET which 20e9084b23SNiklaus Giger * defaults to 0x4200 21e9084b23SNiklaus Giger */ 22e9084b23SNiklaus Giger #ifndef CONFIG_SYS_VXWORKS_BOOT_ADDR 23e9084b23SNiklaus Giger #define CONFIG_SYS_VXWORKS_BOOT_ADDR 0x4200 24e9084b23SNiklaus Giger #endif 25e9084b23SNiklaus Giger 26e9084b23SNiklaus Giger #ifndef CONFIG_SYS_VXWORKS_BOOT_DEVICE 27e9084b23SNiklaus Giger #if defined(CONFIG_4xx) 28e9084b23SNiklaus Giger #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "emac(0,0)" 29e9084b23SNiklaus Giger #else 30e9084b23SNiklaus Giger #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)" 31e9084b23SNiklaus Giger #endif 32e9084b23SNiklaus Giger #endif 33e9084b23SNiklaus Giger 34e9084b23SNiklaus Giger #ifndef CONFIG_SYS_VXWORKS_SERVERNAME 35268405faSWolfgang Denk #define CONFIG_SYS_VXWORKS_SERVERNAME "srv" 36e9084b23SNiklaus Giger #endif 37e9084b23SNiklaus Giger 38e9084b23SNiklaus Giger #endif 39