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 void boot_prep_vxworks(bootm_headers_t *images); 13 void boot_jump_vxworks(bootm_headers_t *images); 14 void do_bootvx_fdt(bootm_headers_t *images); 15 16 /* 17 * Use bootaddr to find the location in memory that VxWorks 18 * will look for the bootline string. The default value for 19 * PowerPC is LOCAL_MEM_LOCAL_ADRS + BOOT_LINE_OFFSET which 20 * defaults to 0x4200 21 */ 22 #ifndef CONFIG_SYS_VXWORKS_BOOT_ADDR 23 #define CONFIG_SYS_VXWORKS_BOOT_ADDR 0x4200 24 #endif 25 26 #ifndef CONFIG_SYS_VXWORKS_BOOT_DEVICE 27 #if defined(CONFIG_4xx) 28 #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "emac(0,0)" 29 #else 30 #define CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)" 31 #endif 32 #endif 33 34 #ifndef CONFIG_SYS_VXWORKS_SERVERNAME 35 #define CONFIG_SYS_VXWORKS_SERVERNAME "srv" 36 #endif 37 38 #endif 39