include/vxworks.h

   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