UPGRADE YOUR BROWSER

We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 30274

10.1 EDK - Downloading and running a VxWorks image for PPC440 does not work

Description

Keywords: image, XMD, wind, river, MSR, master, register, dow, run

I cannot download a VxWorks image targeting a PPC440. How can I work around this problem?

Solution

After downloading the image, perform a register write to MSR before running:

XMD% rwr msr 0x00000000
XMD% run

This problem has been fixed in the latest EDK 10.1 Service Pack, available at:
http://www.xilinx.com/xlnx/xil_sw_updates_home.jsp
The first service pack containing the fix is EDK 10.1 Service Pack 1.
AR# 30274
Date Created 02/11/2008
Last Updated 05/02/2008
Status Active
Type General Article