mirror of
				https://github.com/smaeul/u-boot.git
				synced 2025-11-03 21:48:15 +00:00 
			
		
		
		
	The next version VxWorks adopts device tree (for PowerPC and ARM) as its hardware
description mechanism. For PowerPC, the boot interface conforms to
the ePAPR standard, which is:
   void (*kernel_entry)(ulong fdt_addr,
          ulong r4 /* 0 */,
          ulong r5 /* 0 */,
          ulong r6 /* EPAPR_MAGIC */, ulong r7 /* IMA size */,
          ulong r8 /* 0 */, ulong r9 /* 0 */)
For ARM, the boot interface is:
   void (*kernel_entry)(void *fdt_addr)
Signed-off-by: Miao Yan <miao.yan@windriver.com>
[trini: Fix build error when !CONFIG_OF_FDT is set, typo on PowerPC,
missing extern ft_fixup_num_cores]
Signed-off-by: Tom Rini <trini@ti.com>
		
	
			
		
			
				
	
	
		
			39 lines
		
	
	
		
			958 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			39 lines
		
	
	
		
			958 B
		
	
	
	
		
			C
		
	
	
	
	
	
/*
 | 
						|
 * (C) Copyright 2008
 | 
						|
 * Niklaus Giger, niklaus.giger@member.fsf.org
 | 
						|
 *
 | 
						|
 * SPDX-License-Identifier:	GPL-2.0+
 | 
						|
 */
 | 
						|
 | 
						|
#ifndef _VXWORKS_H_
 | 
						|
#define _VXWORKS_H_
 | 
						|
 | 
						|
int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
 | 
						|
void boot_prep_vxworks(bootm_headers_t *images);
 | 
						|
void boot_jump_vxworks(bootm_headers_t *images);
 | 
						|
void do_bootvx_fdt(bootm_headers_t *images);
 | 
						|
 | 
						|
/*
 | 
						|
 * Use bootaddr to find the location in memory that VxWorks
 | 
						|
 * will look for the bootline string. The default value for
 | 
						|
 * PowerPC is LOCAL_MEM_LOCAL_ADRS + BOOT_LINE_OFFSET which
 | 
						|
 * defaults to 0x4200
 | 
						|
 */
 | 
						|
#ifndef CONFIG_SYS_VXWORKS_BOOT_ADDR
 | 
						|
#define CONFIG_SYS_VXWORKS_BOOT_ADDR 0x4200
 | 
						|
#endif
 | 
						|
 | 
						|
#ifndef CONFIG_SYS_VXWORKS_BOOT_DEVICE
 | 
						|
#if defined(CONFIG_4xx)
 | 
						|
#define		CONFIG_SYS_VXWORKS_BOOT_DEVICE "emac(0,0)"
 | 
						|
#else
 | 
						|
#define		CONFIG_SYS_VXWORKS_BOOT_DEVICE "eth(0,0)"
 | 
						|
#endif
 | 
						|
#endif
 | 
						|
 | 
						|
#ifndef CONFIG_SYS_VXWORKS_SERVERNAME
 | 
						|
#define CONFIG_SYS_VXWORKS_SERVERNAME	"srv"
 | 
						|
#endif
 | 
						|
 | 
						|
#endif
 |