blob: 122043c941e9b17b41c6d10df4b8449aa18b458b
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 |